os/include/kernel/elf.h

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

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