view x86_64/elilo_kernel.h @ 13:212d1e8ff02b

add test source
author taiki
date Thu, 25 Jul 2013 02:43:29 -0400
parents 1b2326947b0d
children e4603f44e348
line wrap: on
line source

#ifndef ELILO_KERNEL
#define ELILO_KERNEL

extern EFI_STATUS start_elilo_kernel();
extern VOID init_pgtable_register();


#endif /* ELILO_KERNEL */