On 12/17/18, [email protected] <[email protected]> wrote: > > If you want something dynamic, i.e. more resembling a full OS, then have a > look at Genode. But then all assurance and ability to reason about security > properties goes out of the window. > UX/RT is also going to be highly dynamic (it will be a relatively conventional QNX-like OS, and not an "OS framework" like CAmkES or Robigalia, and although it won't have the verifiability of a static system like CAmkES, it will have fine-grained security that will closely approximate a pure capability system in a Unix-like filesystem environment, making it theoretically more secure than any conventional Unix). It will be a replacement for general-purpose OSes like Linux, intended for workstations, servers, and large complex embedded systems for which a static framework is too limiting, whereas CAmkES is more of a replacement for static unikernels like eCos and RTEMS than anything else (for security-critical deeply embedded systems it would be preferable to either general-purpose OSes or unikernels).
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
