This website requires JavaScript.
Explore
Help
Register
Sign In
denshooter
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/mmueller41/genode.git
synced
2026-01-21 20:42:56 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
abd09e419fd39cd8b8c069f2c77c790a8292e943
genode
/
os
/
src
History
Christian Helmuth
b2478aec76
Increase RAM demanded by bomb children on 64bit systems
2012-07-11 12:12:41 +02:00
..
app
Print error message if 'execve' failed
2012-06-06 17:27:54 +02:00
drivers
OMAP4 SD card driver
2012-07-09 15:51:51 +02:00
init
Handle the case that init has no children
2012-04-19 19:04:33 +02:00
lib
DDE kit: Timer add schedule function form timers
2012-05-23 19:17:23 +02:00
platform
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
server
Extend nic_bridge to support internal traffic
2012-07-10 16:30:29 +02:00
test
Increase RAM demanded by bomb children on 64bit systems
2012-07-11 12:12:41 +02:00