Giacomo Tesio 8b70872352 init.sh: generate syscalls.h		2016-11-25 15:00:10 +00:00
..
patch	new development tools	2016-11-25 13:41:57 +00:00
src	new development tools	2016-11-25 13:41:57 +00:00
tmp	new development tools	2016-11-25 13:41:57 +00:00
toolchain	new development tools	2016-11-25 13:41:57 +00:00
init.sh	init.sh: generate syscalls.h	2016-11-25 15:00:10 +00:00