The initrd now works.
authorRonald G. Minnich <rminnich@gmail.com>
Thu, 13 Jul 2017 00:08:43 +0000 (17:08 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 30 Aug 2017 17:49:47 +0000 (13:49 -0400)
commit433b282f05aa731daed96ff0c6686e90d7527aed
treeee4743596432fe7af37ca4e8b4b452ce53485802
parent6dcbb5ee52325590b7327847a4299f0befa058e2
The initrd now works.

We round up to the next 4k. For older kernels, you need to set the
device to 0x100; for newer kernels, set type_of_loader to 0xff.

This is tested with a simple busybox initramfs from u-root.

Change-Id: If14bcf613fdb06ef4147b6f27dc27c691f46bbaa
Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
tests/dune/dune.c
tests/vmm/vmrunkernel.c
user/vmm/include/vmm/vmm.h
user/vmm/initrd.c [new file with mode: 0644]
user/vmm/load_elf.c
user/vmm/pagetables.c