Changeset 42357 in vbox for trunk/src/VBox/Devices/PC

Timestamp:

Jul 24, 2012 12:29:29 PM (13 years ago)

Author:

vboxsync

Message:

PCBIOS: Enabled the 32-bit pci bios code.

File:

• trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk (modified) (3 diffs)

trunk/src/VBox/Devices/PC/BIOS/Makefile.kmk

@@ -39 +39 @@
          clname CODE \
           segment _TEXT   segaddr=0xF000 offset=0x1600 \
-          segment BIOS32  segaddr=0xF000 offset=0xDE00 \
+          segment BIOS32  segaddr=0xF000 offset=0xDB00 \
           segment BIOSSEG segaddr=0xF000 offset=0xE000
  VBoxPcBios_SOURCES = \
@@ -53 +53 @@
         system.c \
         timepci.c \
-        pcibios.c \
         ps2mouse.c \
         parallel.c \
@@ -59 +58 @@
         scsi.c \
         ahci.c \
+        pcibios.c \
         pciutil.c \
         vds.c \
         ../../BiosCommonCode/support.asm \
         pcibio32.asm \
+        $(VBoxPcBios32_1_TARGET) \
         orgs.asm
+
+ # For 32-bit C code in PC BIOS.
+ LIBRARIES += VBoxPcBios32Lib
+ VBoxPcBios32_TEMPLATE = VBoxBios32
+ VBoxPcBios32_SOURCES = \
+       pci32.c
 
  #