blob: e9e1dab29d462c3cbf302e96e80c0f9b87d9fa85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// 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
|