Chat Search    Chat Directory    About irc2go
Online Chat

Webchat: sel4 freenode

Chat Room - 24 users - 114129 minutes ago - known since 2016-10-27 - current topic:  seL4 verified microkernel |​ 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) http:/​/​sel4.​systems/​pipermail/​devel/​ |​ Github https:/​/​github.​com/​seL4/​seL4

Category:  Computers  >  Software  >  Development

(Browser + Java)
(irc:// + App)
Please choose a nickname and press "Continue" to establish a webchat connection to network freenode and to enter the chat room!
Chat Room:

Chat Directory:    Internet Chat    Espanol Chat    Games Chat    Apple Chat    Australia Chat    Facebook Chat    ICQ Chat    Skype Chat    Computer Chat    Windows Chat    Linux Chat    iPhone Chat    . . .