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, <devel-request@sel4.systems> 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 <kd7nyq@gmail.com>
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20160306/ad01a707/attachment-0001.html>

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

Subject: Digest Footer

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel


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

End of Devel Digest, Vol 22, Issue 1
************************************