ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 22:23:16 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
2,204 Commits 2 Branches 70 Tags 87 MiB
f447fbe1a5
Commit Graph

4 Commits

Author SHA1 Message Date
Alexander Boettcher
99ae463e5c run: zero pad hello.py to succeed on OKL4 
Fixes #804.
 2013-07-15 17:06:27 +02:00
Christian Prochaska
f635cc4a19 Python: use 'libc-rom' plugin 
This patch removes the libc plugin of the Python port. The Python test
uses the 'libc_rom' plugin instead.

Fixes #392.
 2012-10-08 15:10:22 +02:00
Christian Helmuth
7bffdacc9a Increase RAM quotas for 64-bit architectures 2012-05-29 16:08:50 +02:00
Genode Labs
da4e1feaa5 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00