#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