Hi Andrew, I don't wish to discourage you, but if you are just starting out programming and have limited knowledge of operating systems, etc ... then seL4 might be a very big undertaking to understand and learn from. There are a lot of topics you would need to come up to speed on. I suggest taking a look Gernot's course material at unsw.edu.au. On 7 March 2016 at 12:00, wrote:

Send Devel mailing list submissions to devel@sel4.systems

To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems

You can reach the person managing the list at devel-owner@sel4.systems

When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."

Today's Topics:

1. Tutor? (Jackman)

----------------------------------------------------------------------

Message: 1 Date: Sun, 6 Mar 2016 11:04:25 -0700 From: Jackman To: devel@sel4.systems Subject: [seL4] Tutor? Message-ID: < CAADorGK4z2oW4JoBq+K--72LDGc0d-2-1jTxUu41UxidvwjkHw@mail.gmail.com> Content-Type: text/plain; charset="utf-8"

Is anyone interested in tutoring on the topic of sel4? I have two objectives:

First, I'm interested in beginning programming, like getting through the Hello World process. I would hope this eventually includes things like basic driver development and practical application development.

Second, I want to understand how virtualization works with sel4 and the infrastructure behind it. My objective is to be able to stand up my own virtualization host and guests.

I'm not sure how payment would work. I'd be interested in turning our experience into tutorials for community consumption, which may be more valuable to some of you than the money.

Thank you.

Andrew Roy Jackman