INTEGRITY from Green Hills Software
summary
Port of Qt to the INTEGRITY separation kernel compiles and runs across ARM Intel PowerPC MIPS, using the POSIX layer and a framebuffer by default with OpenGL and VNC options in progress. The initial port proves portable — original work finishes in three days (2006), branch added in 2010 and merged upstream later. INTEGRITY brings EAL6+ high robustness certification, microkernel isolation for safety/security, some compiler warnings and bugs were fixed, and qmake was extended to generate INTEGRITY project files.
AI-written summary · about
chapters (11)
- 0:00Intro
- 0:53About Green Hills Software
- 2:57Why Integrity
- 7:12What makes Integrity interesting
- 9:53Why do we need Integrity
- 11:05Timeline
- 13:15Challenges
- 17:00Configure Script
- 17:38History
- 18:40Bugs
- 20:21Development Process
related talks
10mQtinUse - Introducing Qt IVI (5/5)
21mQtinUse - Introducing Qt IVI (1/5)
24mOpenRISC Update
29mShield Your Devices: The Strength of Open-Source Software and Hardware
17mOpenRISC update
18mIntOS: Persistent Embedded Operating System and Language Support for Multi-threaded...
24mInception: System-Wide Security Testing of Real-World Embedded Systems Software
35mEmbedded Linux is a Glorious Lie