25 lines
629 B
C
25 lines
629 B
C
#include <stdint.h>
|
|
#include <stddef.h>
|
|
#include <debugging.h>
|
|
#include <kernel/tty.h>
|
|
#include <kernel/gdt.h>
|
|
#include <debugging.h>
|
|
|
|
static void* memcpy(void* restrict dstptr, const void* restrict srcptr, size_t size) {
|
|
unsigned char* dst = (unsigned char*) dstptr;
|
|
const unsigned char* src = (const unsigned char*) srcptr;
|
|
for (size_t i = 0; i < size; i++)
|
|
dst[i] = src[i];
|
|
return dstptr;
|
|
}
|
|
|
|
extern void jump_to_userspace();
|
|
|
|
void run_program(uint8_t* program, size_t length)
|
|
{
|
|
uint8_t* userland_code = (uint8_t*) 0x00800000;
|
|
memcpy(userland_code, program, length);
|
|
|
|
jump_to_userspace();
|
|
}
|