br df72348057 o Move non-generic kernel configuration out from GENERIC. ... o Add kernel configuration for QEMU. Both SPIKE and QEMU kernel configs are temporary (until we will be able to obtain DTB from loader). Sponsored by: DARPA, AFRL Sponsored by: HEIF5		2016-02-11 13:28:52 +00:00
..
conf	o Move non-generic kernel configuration out from GENERIC.	2016-02-11 13:28:52 +00:00
htif	Stop device enumeration when we see first empty slot.	2016-02-11 11:21:45 +00:00
include	Access pcpup using gp register.	2016-02-04 14:30:46 +00:00
riscv	Include sys/_task.h into uma_int.h, so that taskqueue.h isn't a	2016-02-09 20:22:35 +00:00