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