kernel/efirt: Make efirt compilable into the kernel and add to LINT64.
authorSascha Wildner <saw@online.de>
Sun, 27 Nov 2016 23:36:28 +0000 (00:36 +0100)
committerSascha Wildner <saw@online.de>
Sun, 27 Nov 2016 23:36:55 +0000 (00:36 +0100)
sys/conf/files
sys/config/LINT64
sys/platform/pc64/conf/files
sys/platform/pc64/conf/options

index 5816f26..af532fb 100644 (file)
@@ -377,6 +377,7 @@ dev/misc/dcons/dcons_crom.c optional dcons_crom
 dev/misc/dcons/dcons_os.c      optional dcons
 dev/raid/dpt/dpt_scsi.c        optional dpt
 dev/raid/dpt/dpt_pci.c optional dpt pci
+dev/misc/efirt/efidev.c                optional efirt
 dev/netif/em/if_em.c           optional em
 dev/netif/emx/if_emx.c         optional emx
 dev/netif/igb/if_igb.c         optional igb
index 3c3582e..241bbb0 100644 (file)
@@ -1734,6 +1734,9 @@ device            wbsio0  at isa? port 0x2e
 device         wbsio1  at isa? port 0x4e
 device         uguru0  at isa? port 0xe0       # ABIT uGuru
 
+# EFI Runtime Services support (not functional yet).
+options        EFIRT
+
 # Parallel-Port Bus
 #
 # Parallel port bus support is provided by the `ppbus' device.
index fba590b..4189936 100644 (file)
@@ -195,6 +195,7 @@ platform/pc64/acpica/acpi_fadt.c    standard
 platform/pc64/acpica/acpi_madt.c       standard
 dev/misc/atkbd/atkbd_isa.c             optional        atkbd
 dev/misc/atkbdc_layer/atkbdc_isa.c     optional        atkbdc
+platform/pc64/x86_64/efirt.c           optional        efirt
 dev/misc/ppc/ppc.c                     optional        ppc
 dev/misc/psm/psm.c                     optional        psm
 dev/serial/sio/sio.c                   optional        sio
index bd6be1d..5d2fe3e 100644 (file)
@@ -54,3 +54,6 @@ KBD_MAXRETRY          opt_kbd.h
 KBD_MAXWAIT            opt_kbd.h
 KBD_RESETDELAY         opt_kbd.h
 KBDIO_DEBUG            opt_kbd.h
+
+# EFI Runtime services support
+EFIRT                  opt_efirt.h