Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. Dr. Roy Schestowitz (罗伊) (schestowitz@pleroma.site)'s status on Tuesday, 07-Apr-2020 16:46:42 EDT Dr. Roy Schestowitz (罗伊) Dr. Roy Schestowitz (罗伊)
    #seL4 #Microkernel Optimized for #Security Gets Support of #LinuxFoundation https://www.linuxfoundation.org/press-release/2020/04/sel4-microkernel-optimized-for-security-gets-support-of-linux-foundation/
    In conversation Tuesday, 07-Apr-2020 16:46:42 EDT from pleroma.site permalink

    Attachments

    1. Invalid filename.
      seL4 Microkernel Optimized for Security Gets Support of Linux Foundation
      from The Linux Foundation
      The seL4 microkernel is the world's first operating system (OS) kernel that is proved secure; it is designed to ensure the security, safety and reliability of real-world critical computer systems. 
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.