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