History log of /barrelfish-master/tools/fastmodels/bootdebug.py
Revision Date Author Comments
# 2c143ba0 30-Mar-2016 David Cock <david.cock@inf.ethz.ch>

Boots to arch_init(), with MMU fully configured.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>


# e7b1feab 11-Mar-2016 David Cock <david.cock@inf.ethz.ch>

Boot debug for BF in DS-5

Signed-off-by: David Cock <david.cock@inf.ethz.ch>