<div dir="ltr"><div><div><div><div><div><div><div>Hi,<br><br></div>We have been trying to boot barrelfish on our hardware with config, 32 gb ram and 2  quad core AMD Opteron processors,<br><br></div>We are able to boot barrelfish on the real hardware and after getting the fish prompt an assertion is triggered &quot;Domain is not part of the terminal&quot; and the boot is aborted.<br>
<br></div>I did some investigation and found that the domain value is set to false in terminal_init function in terminal.c file and it fails in terminal_read function  giving the above assertion.<br><br></div>Can anyone please let me know how to make the domain a part of the terminal module?<br>
</div>Please let me know if more info is needed<br><br></div>Thanks<br></div>Vinay<br><br></div>