From e1e10cddee4be72c2a66218c2bc0393e578a7fdc Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Sat, 23 Apr 2016 17:37:27 +1000 Subject: waf: Add the ability to set FreeBSD options on the configure command line. Add --freebsd-options to add specific FreeBSD compile time options to the build. This is a developer tool. --- freebsd/sys/kern/init_main.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'freebsd/sys/kern/init_main.c') diff --git a/freebsd/sys/kern/init_main.c b/freebsd/sys/kern/init_main.c index 8e65b5f4..7311bb02 100644 --- a/freebsd/sys/kern/init_main.c +++ b/freebsd/sys/kern/init_main.c @@ -161,6 +161,11 @@ sysinit_add(struct sysinit **set, struct sysinit **set_end) newsysinit_end = newset + count; } #else /* __rtems__ */ +#ifdef BOOTVERBOSE +int bootverbose = 1; +SYSCTL_INT(_debug, OID_AUTO, bootverbose, CTLFLAG_RW, &bootverbose, 0, + "Control the output of verbose kernel messages"); +#endif RWSET_DECLARE(sysinit_set, struct sysinit); #endif /* __rtems__ */ -- cgit v1.2.3