Hi, Is there a way to boot barrelfish as a native operating system? I'm trying to do some performance measurement on barrelfish and I don't think the simulators provide very accurate measurements. Thank you, Jialin Li University of Michigan Advanced Computer Architecture Lab