Booting Pintos on your laptop - Spring 2009

The current version of Pintos is able to boot from USB on selected hardware. To be able to boot, your PC or laptop must support booting from a USB harddisk and it must contain a UHCI controller (most laptops do). A serial port is useful, but not necessary.

You should be able to create a bootable image from a fully working project 2 solution as follows (for project3 or project4 solutions, adjust the instructions accordingly):

$Id: bootingpintos.html,v 1.3 2013/01/22 16:36:10 cs3204 Exp $