1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#ifndef _JOVE_H #define _JOVE_H 1 #define NORETURN __attribute__((noreturn)) extern void (*_kernel_start)(void); extern void (*_kernel_end)(void); #include "object.h" extern objdir_t _initDirectory; extern init_data_t _initData; NORETURN void hcf(void); #endif