armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv8_a57v
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-11-21 Moritz Hoffmannkernel/logging: Change default log level to LOG_NOTE
2016-10-06 Reto Achermannarmv8/hake: using new command line parameter format
2016-10-06 Reto Achermannarmv8: renaming menu.lst using the a57v suffix