1 2 3 4 5 6 7 8
#include <stdint.h> #include <tasks/process.h> #include <io/io.h> u32 sys_exec(char *path) { return uexec(path); }