1 2 3 4 5 6 7
#include <stdint.h> #include <syscall.h> u32 spawn(char *path) { return syscall_spawn(path); }
