bios32.c 16.3 KB