os/include/kernel/elf.h

#include <stdint.h>
#include <stddef.h>

void run_program(void* code, size_t code_length, void* data, size_t data_length, void* code_destination, void* data_destination);