armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv8_a57v_1
2017-09-27 Simon Gerberarmv7,armv8: Add process manager to targets and menu...
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2016-12-08 Moritz Hoffmannhake: add menu.lst for armv8_a57_1