armv8: fixing menu.lst files and adding bootdriver to the platforms
[barrelfish] / hake / menu.lst.armv8_a57v_1
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2016-12-08 Moritz Hoffmannhake: add menu.lst for armv8_a57_1