armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv7_a15ve_fvp_4
2017-09-27 Simon Gerberarmv7,armv8: Add process manager to targets and menu...
2016-11-21 Moritz Hoffmannkernel/logging: Change default log level to LOG_NOTE
2016-09-02 David CockARMv7: FVP A15 starts in secure mode, so use the right...
2016-09-01 David CockARMv7: A15/A17 FVPs. Don't quite work yet.