735
reputation
42 views
discussion user
network profile

Registered User

name Anna Lyons
member for 29 days
seen 7 hours ago
website
location Sydney, Australia

I'm a senior kernel engineer on the seL4 team. I manage our day to day engineering too.

1

Proposal

77
followers

seL4 [closed]

For developers, maintainers, and users of the seL4 microkernel and systems running on top of seL4.
define
commit
beta

0

Current Commitments


0

Fulfilled Commitments


0

Followed


6

Votes Cast

5 up

1 down