You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
402 B
24 lines
402 B
10 years ago
|
// See LICENSE for license details.
|
||
|
|
|
||
|
|
#ifndef _BBL_H
|
||
|
|
#define _BBL_H
|
||
|
|
|
||
|
|
#ifndef __ASSEMBLER__
|
||
|
|
|
||
|
|
#include <stdint.h>
|
||
|
|
#include <stddef.h>
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
uintptr_t entry;
|
||
|
|
uintptr_t first_user_vaddr;
|
||
|
|
uintptr_t first_vaddr_after_user;
|
||
|
|
uintptr_t load_offset;
|
||
|
|
} kernel_elf_info;
|
||
|
|
|
||
|
|
void load_kernel_elf(void* blob, size_t size, kernel_elf_info* info);
|
||
|
|
void print_logo();
|
||
|
|
|
||
|
|
#endif // !__ASSEMBLER__
|
||
|
|
|
||
|
|
#endif
|