Robigalia: developing device drivers and other operating system services in pure Rust, using the seL4 microkernel

[emberian]

I can give this, although no earlier than February.

[yoshuawuyts]

that sounds heaps interesting!

[caspark]

Excellent, Feb it is (or later). I'll get back to you on the exact date.

[caspark]

@cmr would you like to give this talk for Meetup.8 on Tuesday February 16th?

[emberian]

No, I'd prefer more time for the project to mature, and to prepare the talk.

On January 12, 2016 6:50:22 PM EST, Caspar Krieger notifications@github.com wrote:

@cmr would you like to give this talk for Meetup.8 on Tuesday February
16th?

---

Reply to this email directly or view it on GitHub:
#12 (comment)

Sent from my Android device with K-9 Mail. Please excuse my brevity.

[khklau]

@cmr are you back from the APSys 2016 conference? Are you able to give the talk now?