×

If everyone reading this donated $1 we would be done in a matter of hours. Once we reach our goal of $150/mo we will remove ads site-wide, but if you become a Patron today♥ you will enjoy a totally ad-free experience! ☺

Become a Patron!

#sel4 on freenode

On freenode | Users Online: 23 | Last Updated: 2018-07-19 19:01:46
Connect to this channel with ... connect to IRC using IRCCloud IRCCloud | connect to IRC using KiwiIRC KiwiIRC | connect to IRC using your default IRC client Default IRC Client

Topic: seL4 verified microkernel | Please EXPLICITLY ASK PERMISSION to cite or quote answers given in here | TIMEZONE MATTERS: Can only guarantee answers from 9am5pm Sydney time | Quickstart 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)


Topic History(Last 3 topics)

  • 2018-07-16 01:01:42: seL4 verified microkernel | Please EXPLICITLY ASK PERMISSION to cite or quote answers given in here | TIMEZONE MATTERS: Can only guarantee answers from 9am5pm Sydney time | Quickstart 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)
Channel Traffic: 7 Day History

If you are seeing this, please refresh the page.

Comments on this channel