rumpkernel/rumpuser-baremetal — pull request #2 by tombousso (2014-08-11 21:15:26+00:00)
Title: Update buildme.sh

make PCI from APPSTACK