Salon de chat - 29 utilisateurs - Il y a 88 minutes - connu depuis 2016-10-27 - thème actuel: seL4 verified microkernel | Please EXPLICITLY ASK PERMISSION to cite or quote answers given in here | TIMEZONE MATTERS: Can only guarantee answers from 9am-5pm Sydney time | Quick-start guide https://wiki.sel4.systems/Getting%20started | FAQ https://wiki.sel4.systems/FrequentlyAskedQuestions | What is verification? https://sel4.systems/Info/FAQ/proof.pml | Mailing list (very active)
You need a chat application that supports IRC links to be able to enter a chat room from here. Do you already have one installed? Then please press "Continue" to establish a connection to chat network freenode!