blob: 87733c85bfa753664734ce8bae12d563442599bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#ifndef KERNEL_H
#define KERNEL_H
#include "stdint.h"
#include "stdio.h"
void kernel_main( void );
void kernel_panic( const char *format, ... );
void kernel_halt( void );
#define STACK_CHK_GUARD 0xe2dee396
extern uintptr_t __stack_chk_guard;
__attribute__( ( noreturn ) )
void __stack_chk_fail_local( void );
__attribute__( ( noreturn ) )
void __stack_chk_fail( void );
#endif // KERNEL_H
|
