armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv7_a15a7ve
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: Don't autoboot cores on big.LITTLE - it's broken...
2016-09-02 David CockARMv7: bit.LITTLE boot target