HomeFreeBSD

o Move non-generic kernel configuration out from GENERIC.

Description

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

Details

Provenance
brAuthored on
Parents
rS295520: Migrate the PTE format for book-e to standardize on the 'indirect PTE' format
Branches
Unknown
Tags
Unknown