br 2da7acfc05 Increase kernel and user VA space. ...

This allows us to boot with more than 128MB of physical memory.

Sponsored by:	DARPA, AFRL
Sponsored by:	HEIF5

2016-02-18 15:28:57 +00:00

..

conf

o Move non-generic kernel configuration out from GENERIC.

2016-02-11 13:28:52 +00:00

htif

Stop device enumeration when we see first empty slot.

2016-02-11 11:21:45 +00:00

include

Increase kernel and user VA space.

2016-02-18 15:28:57 +00:00

riscv

Increase kernel and user VA space.

2016-02-18 15:28:57 +00:00