Michael Brown 8a45f619a9 Fix building on gas versions that don't auto-insert addr32 prefixes

2006-12-12 19:07:18 +00:00

..

pcbios

We don't actually have a stdio.h header file. Our printf() functions are

2006-09-27 10:58:14 +00:00

pxe

Fix building on gas versions that don't auto-insert addr32 prefixes

2006-12-12 19:07:18 +00:00