armv8: fixing menu.lst files and adding bootdriver to the platforms
[barrelfish] / hake / menu.lst.armv8_apm88xxxx
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2017-03-16 Reto AchermannHake: adding boot/cpu driver entries to menu.lst for...
2017-03-16 Reto Achermannhake: adding menu.lst for Cavium ThunderX and APM 88xxxx
2017-02-25 Reto Achermannhake: adding menu.lst for Cavium ThunderX and APM 88xxxx