Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Oct 19, 6am (UTC), Topics: (open)
* Sydney: Wed, Oct 19, 5pm
* Central Europe: Wed, Oct 19, 8am
* US Pacific Time: Tue, Oct 18, 11pm
Zoom link: https://unsw.zoom.us/j/82640784431
Cheers,
Gerwin
I remember talk in one of the developer hangouts I was in about a
proof of concept for a high-throughput asynchronous driver layer for
seL4 (presumably based on notifications). Has code for this been
released anywhere? I'm going to be starting on my own IPC transport
layer and I want to include asynchronous message passing as an option.
Hi all
A friendly reminder that the seL4 developer hangout is on again next week:
Tue, Oct 4, 9pm (UTC), Topics: (open)
* Sydney: Wed, Oct 5, 8am
* Central Europe: Tue Oct 4, 11pm
* US Pacific Time: Tue, Oct 4, 2pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Wed, Aug 24, 7am (UTC), Topics: (open)
* Sydney: Wed, Aug 24, 5pm
* Central Europe: Wed, Aug 24, 9am
* US Pacific Time: Aug 24, 12 midnight
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
A friendly reminder that the seL4 developer hangout is on again this week:
Tue Aug 9, 10pm (UTC), Topics: (open)
* Sydney: Wed, Aug 10, 8am
* Central Europe: Wed, Aug 10, 12 midnight
* US Pacific Time: Tue, Aug 9, 3pm
Zoom link: https://unsw.zoom.us/j/82640784431
cheers
Birg
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm