headers/bsd: Add sys/queue.h.
[haiku.git] / src / system / kernel / platform / pxe_ia32 / platform.cpp
blobc30c0cc959c6396c6d49d9df88f516a4ff4f2858
1 /*
2 Just a dummy. No BIOS services are required in the kernel.
3 */