ppc64: Don't set Kp bit on SLB
[openbios.git] / drivers / build.xml
blob75aff8734160b8b38b94f0e96b5f195fbd8c2370
1 <build>
3  <library name="drivers" type="static" target="target">
4   <object source="pci.c"   condition="DRIVER_PCI"/>
5   <object source="pci_database.c" condition="DRIVER_PCI"/>
6   <object source="ide.c"   condition="DRIVER_IDE"/>
7   <object source="timer.c" condition="DRIVER_IDE"/>
8   <object source="kbd.c"   condition="DRIVER_ADB"/>
9   <object source="adb_bus.c" condition="DRIVER_ADB"/>
10   <object source="adb_kbd.c" condition="DRIVER_ADB"/>
11   <object source="adb_mouse.c" condition="DRIVER_ADB"/>
12   <object source="cuda.c"  condition="DRIVER_ADB"/>
13   <object source="floppy.c" condition="DRIVER_FLOPPY"/>
14   <object source="iommu.c" condition="DRIVER_SBUS"/>
15   <object source="sbus.c"  condition="DRIVER_SBUS"/>
16   <object source="esp.c"   condition="DRIVER_ESP"/>
17   <object source="obio.c"   condition="DRIVER_OBIO"/>
18   <object source="vga_load_regs.c" condition="DRIVER_VGA"/>
19   <object source="vga_set_mode.c" condition="DRIVER_VGA"/>
20   <object source="vga_vbe.c" condition="DRIVER_VGA"/>
21   <object source="macio.c" condition="DRIVER_MACIO"/>
22   <object source="pc_kbd.c" condition="DRIVER_PC_KBD"/>
23   <object source="pc_serial.c" condition="DRIVER_PC_SERIAL"/>
24   <object source="escc.c" condition="DRIVER_ESCC"/>
25   <object source="fw_cfg.c" condition="DRIVER_FW_CFG"/>
26  </library>
28  <dictionary name="openbios" target="forth">
29   <object source="pci.fs" condition="DRIVER_PCI"/>
30   <object source="sbus.fs" condition="DRIVER_SBUS"/>
31   <object source="esp.fs" condition="DRIVER_ESP"/>
32  </dictionary>
34 </build>