How to add shell to seL4 and launch Linux VM background?

In this picture, application can be executed parallel with VM. Is there any tutorial to implement this?