src/arch/i386/lib/Config.lb

   1 #object params.o
   2 #object vgabios.o CONFIG_VGABIOS
   3 #object idt.o  CONFIG_REALMODE_IDT
   4 #object pci-irq.c CONFIG_PCIBIOS_IRQ
   5 #option CONFIG_LOGICAL_CPUS=1
   6 #option CONFIG_PCIBIOS_IRQ=0
   7 object c_start.S
   8 object cpu.c
   9 object pci_ops.c
  10 object exception.c