#define NORETURN
GCC noreturn function attribute.
thread_t * loader_spawn(const char **argv, priority_t priority, const path_t *cwd)
Spawns a child process from an executable file.
NORETURN void loader_jump_to_user_space(thread_t *thread)
Performs the initial jump to userspace.
thread_t * loader_thread_create(process_t *parent, void *entry, void *arg)
Creates a new thread within an existing process.
uint8_t priority_t
Priority type.
Thread of execution structure.