#ifndef FURIX_KERNEL_H
#define FURIX_KERNEL_H

#include <efi.h>

void kernel_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *st);

#endif /* FURIX_KERNEL_H */