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

Open emberian opened this issue 10 years ago • 5 comments

I can give this, although no earlier than February.

Jan 06 '16 23:01 emberian

that sounds heaps interesting!

Jan 06 '16 23:01 yoshuawuyts

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

Jan 07 '16 09:01 caspark

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

Jan 12 '16 23:01 caspark

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 [email protected] 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: https://github.com/RustSydney/talks/issues/12#issuecomment-171102778

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

Jan 13 '16 03:01 emberian

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

Aug 10 '16 12:08 khklau