Como Hacer Booteable Un Disco Duro Externo

I hope this is in the right forum. I work in a school environment, and I'm trying to figure out how to get my kids using the Arduino Web Editor and uploading code from their Chromebooks. It has proven incredibly trying. I will try to lay out as many of the details as I can.