~/talk

UX/RT - a QNX-like OS based on seL4

Talkat FOSDEM 2022 · on Saturday, 2022-02-05· at 14:30· D.microkernel· [security]

speaker

name:Andrew Warkentin
links:none on file

resources

video:https://video.fosdem.org/2022/D.microkernel/awarkentin.mp4
slides:https://fosdem.org/2022/schedule/event/awarkentin/attachments/slides/4831/export/events/attachments/awarkentin/slides/4831/uxrt_intro.pdf

summary

UX/RT is a Unix-like OS implemented on the seL4 microkernel that aims to emulate QNX-style design while adding security and reliability improvements. It uses fast synchronous kernel IPC, a lightweight IPC transport layer, filesystem-based service lookup, and avoids vertical modularity for most subsystems, claiming compatibility and performance comparable to mainstream OSes. The talk outlines UX/RT’s overall architecture, highlights several notable features, and argues the design balances practicality, performance, compatibility, and features.

AI-written summary · about

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.