From ea2c6782cc34ac70c7eedb03482f462cb52b0680 Mon Sep 17 00:00:00 2001 From: Sascha Wildner Date: Fri, 23 Dec 2011 01:04:41 +0100 Subject: [PATCH] tbridge: Make it compilable into the kernel and add it to the LINTs. This is purely for build testing. It would never be compiled into a normal kernel. --- sys/conf/files | 2 ++ sys/config/LINT | 1 + sys/config/LINT64 | 1 + 3 files changed, 4 insertions(+) diff --git a/sys/conf/files b/sys/conf/files index 0559d46bc9..f0e2502782 100644 --- a/sys/conf/files +++ b/sys/conf/files @@ -1794,6 +1794,8 @@ dev/misc/kbdmux/kbdmux.c optional kbdmux dev/misc/orm/orm.c optional isa dev/misc/gpio/gpio.c optional gpio dev/misc/gpio/gpio_led.c optional gpio +dev/misc/tbridge/safe_mem.c optional tbridge +dev/misc/tbridge/tbridge.c optional tbridge bus/isa/pnp.c optional isa bus/isa/pnpparse.c optional isa # diff --git a/sys/config/LINT b/sys/config/LINT index c286936170..c0b43de548 100644 --- a/sys/config/LINT +++ b/sys/config/LINT @@ -2672,6 +2672,7 @@ options DRM_LINUX # device cmx # Omnikey CardMan 4040 smartcard reader device gpio # Enable support for the gpio framework +device tbridge # regression testing # # Embedded system options: diff --git a/sys/config/LINT64 b/sys/config/LINT64 index ca20bcd6c7..6413267619 100644 --- a/sys/config/LINT64 +++ b/sys/config/LINT64 @@ -2439,6 +2439,7 @@ options DRM_LINUX # device cmx # Omnikey CardMan 4040 smartcard reader device gpio # Enable support for the gpio framework +device tbridge # regression testing # # Embedded system options: -- 2.41.0