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 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
