CHERI pure-capability Wayland and OpenGL demo on ARM Morello Board under CheriBSD (With voice!)

preview_player
Показать описание
Demonstration on pure-capability wayland window server, pure-capability ARM Mali GPU-accelerated EGL gears. Operating system: CheriBSD (kernel supports both pure-cap and legacy applications).