SubDir HAIKU_TOP src system kernel platform bios_ia32 ;

SubDirCcFlags $(TARGET_KERNEL_PIC_CCFLAGS) ;
SubDirC++Flags $(TARGET_KERNEL_PIC_CCFLAGS) ;

KernelStaticLibrary libbios_ia32.a :
	platform.cpp
;