Brooks Davis b853277efc Fix and shorten BERI kernel builds during universe. ... Stop building BERI_DE4_BASE and BERI_SIM_BASE, they aren't particularly valid as they don't have a root dev. Do build BERI_DE4_SDROOT which does so devices get coverage. Remove ident from BERI_DE4_BASE for the reasons above which will cause it to fail to build. BERI_SIM_BASE was already this way and broke universe.[0] Reported by: rpokala Sponsored by: DARPA, AFRL		2017-02-23 20:41:55 +00:00
..
adm5120	Remove NULL checks after M_WAITOK allocations from sys/mips/.	2016-05-11 09:42:24 +00:00
alchemy	Remove NULL checks after M_WAITOK allocations from sys/mips/.	2016-05-11 09:42:24 +00:00
atheros	sys: Replace zero with NULL for pointers.	2017-02-22 02:35:59 +00:00
beri	Fix the resource_list_print_type() calls to use uintmax_t.	2016-03-22 22:25:08 +00:00
broadcom	[mips/broadcom] Move MIPS-specific bhnd(4) nexus drivers to	2017-02-13 19:58:55 +00:00
cavium	Fix device delete child function.	2016-10-17 10:20:38 +00:00
conf	Fix and shorten BERI kernel builds during universe.	2017-02-23 20:41:55 +00:00
gxemul	Allow the use of soft-interrupts for sending IPIs.	2016-09-08 17:37:13 +00:00
idt	Remove NULL checks after M_WAITOK allocations from sys/mips/.	2016-05-11 09:42:24 +00:00
include	Bring back r313037, with fixes for mips:	2017-02-19 02:03:09 +00:00
ingenic	Remove redundant cache initialization in JZ4780 SMP startup code	2017-01-06 00:07:36 +00:00
malta	Fix dump_avail[] for MALTA platforms to include the kernel.	2016-12-22 20:28:06 +00:00
mediatek	ofw_spi: Parse property for the SPI mode and CS polarity.	2016-12-18 14:54:20 +00:00
mips	Bring back r313037, with fixes for mips:	2017-02-19 02:03:09 +00:00
nlm	Allow the use of soft-interrupts for sending IPIs.	2016-09-08 17:37:13 +00:00
rmi	Fix device delete child function.	2016-10-17 10:20:38 +00:00
rt305x	ofw_spi: Parse property for the SPI mode and CS polarity.	2016-12-18 14:54:20 +00:00
sibyte	Allow the use of soft-interrupts for sending IPIs.	2016-09-08 17:37:13 +00:00