1. 7
  1. 1

    This is better than nothing, but do note that to have actual “integrity” and “confidentiality”, first you’d need a bug-free kernel, which Linux is not. Kernel code runs fully privileged. It only takes one bug to ruin everything.

    I would look at seL4.