Lonnie,
On Wed, Mar 05, 2014 at 11:42:21AM -0500, Lonnie Cumberland wrote:
I think that I have not done this correctly as when I tried"
~/genode/patch -p0 < vbox-lib.patch
then I am asked about which file to patch.
It seems your command line is wrong. Please try
patch -p1 < vbox-lib.patch or patch -p1 -i vbox-lib.patch
Please also have a look at 'git help apply'.
Greets