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
..
DEFAULTS
GENERIC
QEMU
SPIKE