rwatson ed5bc52cd3 Add reference kernel configurations for FreeBSD/beri in simulation, on the ... Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL		2012-08-25 12:02:13 +00:00
..
adm5120
alchemy
atheros	The GPIO drivers were initialising their mutexes with type of	2012-08-17 04:44:57 +00:00
beri	Add altera_jtag_uart(4), a device driver for Altera's JTAG UART soft core,	2012-08-25 11:30:36 +00:00
cavium	The GPIO drivers were initialising their mutexes with type of	2012-08-17 04:44:57 +00:00
compile
conf	Add reference kernel configurations for FreeBSD/beri in simulation, on the	2012-08-25 12:02:13 +00:00
gxemul	Add basic SMP support for GXemul. Ideally we would have some way to override	2012-05-07 04:36:48 +00:00
idt
include	Port the new PV entry allocator from amd64/i386. This allocator has two	2012-08-13 17:38:38 +00:00
malta
mips	Add preliminary support for the SRI International / University of Cambridge	2012-08-25 08:31:21 +00:00
nlm	Add correct range parameter in XLP DTS	2012-08-21 09:37:23 +00:00
rmi	auth.conf is dead.	2012-06-12 17:04:56 +00:00
rt305x	The GPIO drivers were initialising their mutexes with type of	2012-08-17 04:44:57 +00:00
sentry5
sibyte