From e8c6577617bffa4402c07c7aa20e3c24f03c1c20 Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Sun, 6 Sep 2020 00:48:07 -0400 Subject: program loading, others big kernel additions: paging, elf loading, separate kernel and user page allocation it now properly loads and runs sd0:bin/init.elf still need to determine which disk was booted from, and start the init on that disk --- src/kernel/plef.h | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 src/kernel/plef.h (limited to 'src/kernel/plef.h') diff --git a/src/kernel/plef.h b/src/kernel/plef.h deleted file mode 100644 index a14ea9b..0000000 --- a/src/kernel/plef.h +++ /dev/null @@ -1,21 +0,0 @@ -#ifndef PLEF_H -#define PLEF_H - -#include -#include "drive.h" - -typedef uint8_t task_handle; - -struct plef_header { - uint32_t magic; - uint16_t version_low; - uint16_t version_high; - uint32_t payload_offset; - uint32_t payload_length; - uint32_t bss_length; - uint32_t entry_point; -} __attribute__ ((packed)); - -task_handle plef_run(const struct drive *d, const char *path); - -#endif \ No newline at end of file -- cgit v1.2.3