nix: slightly better memory allocation
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 7 Jan 2015 19:33:09 +0000 (14:33 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 7 Jan 2015 19:33:09 +0000 (14:33 -0500)
commit0991b77dbc69fa94850dc09294fd82acbf9dc93d
tree75a3243d111077fec3827f4e5bc75e68937c4fce
parent24c04facffbd346563064f041c7c37b70b3e3fb8
nix: slightly better memory allocation

The paddr and size of the nix image is controlled by CONFIG_s.  There's still
only one image for the entire system.
Kconfig
kern/drivers/dev/nix.c