5cac9ac
4886faa
daa6c24
6a52d12
1
2
3
4
5 6
7
8
#include <tce/syscall.h> extern int main(char **args); void start(char **args) { int ret = main(args); process_exit(ret); }