furix

cute os

settings

include/kernel.h

152 bytes raw

1#ifndef FURIX_KERNEL_H
2#define FURIX_KERNEL_H
3
4#include <efi.h>
5
6void kernel_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *st);
7
8#endif /* FURIX_KERNEL_H */