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