Back to Results
First PageMeta Content
Gernot Heiser / Capability-based security / Kernel / Interrupt request / Embedded system / ARM architecture / Computer architecture / L4 microkernel family / Instruction set architectures


Trustworthy Embedded Systems http://www.ertos.nicta.com.au/ seL4 Reference Manual For v3 development branch API version 1.2(r2)
Add to Reading List

Document Date: 2014-07-29 08:23:40

Open Document

File Size: 672,89 KB

Share Result on Facebook

Company

Open Kernel Labs Inc. / Trustworthy Embedded Systems / /

/

Facility

IA32 IO Port / /

Organization

Boot Command / /

Person

Etienne Le Sueur / David Greenaway / Simon Winwood / Andrew Boyton / Matthias Daum / Kevin Elphinstone / Matthew Fernandez / Adam Walker / Thomas Sewell / Peter Chubb / Michael von Tessin / Adrian Danis / Godfrey van der Linden / Matthew Grosvenor / Toby Murray / /

/

Position

Guard / various guard / /

Technology

Virtual memory / API / /

URL

http /

SocialTag