Installing Genode within container

[Norman Feske]

Hello Subhadeep,

> Indeed so! I changed the IP and now it works perfectly fine with VNC.
> Got to rum okl4. Now its time to do it with Sel4. :)

that's great to hear!

As a side note, may I kindly encourage you to avoid large top-postings
on the mailing list? Regarding the use of the mailing list, I recommend
following the best practices described here:

  https://www.freebsd.org/doc/en/articles/mailing-list-faq/etiquette.html

Cheers and happy hacking!
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth