Warner Losh
29d1144aeb
Mark the mostly redundant kernels that just pull
...
in something from _BASE as NO_UNIVERSE
Differential Revision: https://reviews.freebsd.org/D4200
2015-11-19 01:58:12 +00:00
Brooks Davis
cb7de87666
Sync BERI kernel configs with P4:
...
Switch the majority of device configuration to FDT from hints.
Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT
kernels.
Add NFS and GSSAPI support by default.
MFC after: 3 days
Sponsored by: DARPA/AFRL
2013-10-22 15:45:31 +00:00
Brooks Davis
df201b82d3
Don't hardcode paths to MFS_IMAGE in the kernel config. When they don't
...
exist they don't cause "make tinderbox" to fail.
Reported by: jhb
2012-09-05 15:55:51 +00:00
Robert Watson
190cc7cf25
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