Giacomo Tesio cc595c7c99 kernel: save and restore all registers on syscall		2017-05-21 00:15:51 +02:00
..
cmd	gcc: enable -O2 compilation	2017-05-19 01:15:34 +02:00
kern	kernel: save and restore all registers on syscall	2017-05-21 00:15:51 +02:00
lib	libstdio: fix uninitialized variables	2017-05-19 01:33:09 +02:00
sysconf.json	kernel: generalize awake	2017-05-15 00:05:59 +02:00