27 } __attribute__((packed)) e_ident;
void elf_destroy_task(task_pid_t pid)
Destroys a user task running the code of an ELF file.
task_pid_t elf_create_task(elf_t *elf, size_t kernel_stack_len, size_t user_stack_len)
Creates a user task running the code of an ELF file.
uint32_t task_pid_t
unique process ID