view x86_64/elilo_kernel.h @ 1:1b2326947b0d

add kernel source
author taiki
date Fri, 15 Feb 2013 04:22:42 +0900
parents
children 212d1e8ff02b
line wrap: on
line source

#ifndef ELILO_KERNEL
#define ELILO_KERNEL

extern EFI_STATUS start_elilo_kernel();


#endif /* ELILO_KERNEL */