24 Jan
2018
24 Jan
'18
5:41 p.m.
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