armv8: Improve readability of register restoration code
[barrelfish] / platforms / ARM_FastModels /
2019-04-17 Lukas Humbelsockeye: Import barebones.soc file and add hake rule
2019-04-16 Lukas Humbelarmv8: Fix mem_alloc on matching caps in init
2019-04-16 Lukas Humbelimport Sven's barebones system
2019-04-09 Reto Achermannintegration of ARM FastModels into Hake