x86: adds a kpte_t for the pte_t
[akaros.git] / scripts / bootable-usb.sh
2014-10-07 Barret RhodenAdds script to build bootable USB drives