bios32.c 13.1 KB