Get command line options from a file
authorKyle Milka <kmilka1995@gmail.com>
Fri, 22 Jul 2016 16:09:52 +0000 (09:09 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 26 Jul 2016 22:35:26 +0000 (18:35 -0400)
commit9cb9fec8d2f39058cd47482acd4e654a5f4f33b2
treeab794eeff2736ba20e7b3264d31be8aa72a4b149
parentc7c7552633e48742e4467011845d06a4cf37958a
Get command line options from a file

We can now use the -k command line option to specify a file from which
to get the command line arguments. Now vmrunkernel doesn't need to be
modified every time you try to run a different kernel.

Change-Id: Ib4e60dbb03e0040cd2268234e080ba302cdc9ce3
Signed-off-by: Kyle Milka <kmilka@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/kfs/master_linux_cmdline [new file with mode: 0644]
kern/kfs/tinycore_cmdline [new file with mode: 0644]
kern/kfs/vmimage_cmdline [new file with mode: 0644]
tests/vmm/vmrunkernel.c