Giacomo Tesio 65d37f432f rc: rename $cflag in $rccmd		2017-10-20 00:14:43 +02:00
..
cmd	rc: rename $cflag in $rccmd	2017-10-20 00:14:43 +02:00
kern	elf64ldseg: do not pprint warnings on wrong header as it could simply be an rc script	2017-08-21 23:59:40 +02:00
lib	libposix: fix typos in get_noteid/set_noteid	2017-09-08 00:24:37 +02:00
sysconf.json	kernel: generalize awake	2017-05-15 00:05:59 +02:00