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