conftrace_

embedded operating system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

capability-based access control (1) kernel performance (1) production deployment (1) ipc optimization (1) kernel paging (1) linux api (1) userspace paging (1) microkernel design (1) linux api compatibility (1) crash consistency (1)

Papers

IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing OSDI 2024 Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel OSDI 2024