Ruslan Bukin 22d5f3540a * Enable KDTRACE options as we support DTrace now. ... * Add bpf device to kernel config.		2016-06-01 12:19:00 +00:00
..
DEFAULTS
GENERIC	* Enable KDTRACE options as we support DTrace now.	2016-06-01 12:19:00 +00:00
LOWRISC	o Add device tree files and kernel configuration files	2016-04-26 13:22:08 +00:00
LOWRISC.hints	o Add device tree files and kernel configuration files	2016-04-26 13:22:08 +00:00
QEMU	o Add device tree files and kernel configuration files	2016-04-26 13:22:08 +00:00
ROCKET	o Add device tree files and kernel configuration files	2016-04-26 13:22:08 +00:00
SPIKE	o Add device tree files and kernel configuration files	2016-04-26 13:22:08 +00:00