xref: /haiku/src/system/kernel/platform/bios_ia32/platform.cpp (revision 02354704729d38c3b078c696adc1bbbd33cbcf72)
1 /*
2 	Just a dummy. No BIOS services are required in the kernel.
3 */
4