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