Trusted Computing CoE Training
Training Opportunities for seL4®
Introduction to seL4® Webinar
Instructors: Robbie VanVossen, DornerWorks, Ltd.
Introduction to the Secure Microkernel, seL4®
Instructors: Robbie VanVossen, DornerWorks, Ltd. and Nathan Studer, DornerWorks, Ltd.
Complete course descriptions, learning objectives, target audience, course outlines, and instructor bios are available at the above link.