History log of /barrelfish-master/tools/fastmodels/efi.c
Revision Date Author Comments
# 0cb6fcee 09-Mar-2016 David Cock <david.cock@inf.ethz.ch>

A more meaningul name for the FM boot tools

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