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
..
dts	Sync BERI kernel configs with P4:	2013-10-22 15:45:31 +00:00
fdt_loader_cmd.c	Initialize sym_count to 0.	2013-03-30 16:33:16 +00:00
help.fdt	Provide verbose help for fdt commands on platforms that use it.	2013-02-11 02:15:26 +00:00
Makefile	Provide support in loader for booting 64-bit PowerPC kernels. Like amd64,	2010-07-12 00:49:22 +00:00