Download free for 30 days
Sign in
Upload
Language (EN)
Support
Business
Mobile
Social Media
Marketing
Technology
Art & Photos
Career
Design
Education
Presentations & Public Speaking
Government & Nonprofit
Healthcare
Internet
Law
Leadership & Management
Automotive
Engineering
Software
Recruiting & HR
Retail
Sales
Services
Science
Small Business & Entrepreneurship
Food
Environment
Economy & Finance
Data & Analytics
Investor Relations
Sports
Spiritual
News & Politics
Travel
Self Improvement
Real Estate
Entertainment & Humor
Health & Medicine
Devices & Hardware
Lifestyle
Change Language
Language
English
Español
Português
Français
Deutsche
Cancel
Save
EN
microkerneldude
6
Slideshow
About
Presentations
Infographics
Documents
Likes
About
Sort by
Latest
Most popular
The Quest for the Perfect API
by
microkerneldude
Flying Autonomous Aircraft: Mixed-Criticality Support in seL4
by
microkerneldude
Microkernel design
by
microkerneldude
From L3 to seL4: What have we learnt in 20 years of L4 microkernels
by
microkerneldude
seL4 intro
by
microkerneldude
Affordable trustworthy-systems
by
microkerneldude
