armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv7_a15ve_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-08-31 David CockARMv7: 4 core A15 in QEMU