ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
659 Commits 2 Branches 70 Tags 87 MiB
5c36639031
Commit Graph

3 Commits

Author SHA1 Message Date
Norman Feske
3e406a1077 Increase quota of USB driver 
The memory allocation heuristics in the usb driver provided by dde_linux
changed with the recent commit 71b2b42936.
Apparently, the new variant requires a larger memory pool. Increasing
the quota is a temporary fix until the memory allocator gets revisited.
 2012-09-18 10:53:17 +02:00
Norman Feske
b7d3601624 Enable 'genode_org.run' examle for Pandaboard 2012-08-23 11:26:19 +02:00
Norman Feske
59a9d1f2b0 Run script for hosting genode.org on Genode 
This run script combines the lighttpd web server with the tar_fs file
system to host the genode.org website.
 2012-08-22 10:32:03 +02:00