[Barrelfish-users] Running Barrelfish on real hardware

[kdf5000]

Hi,
  I am trying to run barrelfish on real hardware. I follow the instructions in README and boot barrelfish form local disk. But it was aborted with the following error:


I view the source code, but can`t find any solution to fix the problem？ What is the possible reason for this? Thanks !
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20160801/0dd2802b/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: f7f36abd-9686-423f-b138-ad92680c8ef8-image.png
Type: application/octet-stream
Size: 175928 bytes
Desc: not available
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20160801/0dd2802b/attachment-0001.obj>