refos
refos copied to clipboard
seL4
Prototype no-assurance reference OS personality built on seL4
Results
1
refos issues
Sort by
recently updated
recently updated
newest added
remove usage of deprecated `sel4/messages.h` from https://github.com/seL4/refos/tree/master/impl/apps/process_server/src/dispatchers/fault_handler.c to be able to fully rmeove this file from the kernel's slibsel4, see https://github.com/seL4/seL4/issues/813
