Dear Sir or Madam,<div><span style="white-space:pre">	</span></div><div><span style="white-space:pre">	</span>Very Sorry to brother you.</div><div><br></div><div><span style="white-space:pre">	</span>We have get into trouble after compiling sel4 following the https://docs.sel4.systems/Docker.html,may I seek some advice from you?</div><div><br></div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; First,I attmpt to&nbsp; follow the https://docs.sel4.systems/Hardware/VMware/,however,error "Failed to allocate object of size xxxx" ara discovered in serial_output.txt .</div><div><br></div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Second,we wanna to make a sel4 startup disk for x86_64,is there any useful Document ?</div><div><br></div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;  Sorry again for this sudden interruption and I would be very grateful if  receive your reply.</div><div><br></div><div>Yours Sinerely,</div><div>Andrew<br></div>