Dear Sir or Madam, Very Sorry to brother you.

We have get into trouble after compiling sel4 following the https://docs.sel4.systems/Docker.html,may I seek some advice from you?

First,I attmpt to follow the https://docs.sel4.systems/Hardware/VMware/,however,error "Failed to allocate object of size xxxx" ara discovered in serial_output.txt .

Second,we wanna to make a sel4 startup disk for x86_64,is there any useful Document ?

Sorry again for this sudden interruption and I would be very grateful if receive your reply.

Yours Sinerely, Andrew