Benji Dial
e8c6577617
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
9 lines
No EOL
157 B
C
9 lines
No EOL
157 B
C
#ifndef KNOB_HEAP_H
|
|
#define KNOB_HEAP_H
|
|
|
|
#include <stdint.h>
|
|
|
|
void *get_block(uint32_t bytes) __attribute__ ((malloc));
|
|
void free_block(void *block);
|
|
|
|
#endif |