Jonkman Microblog
  • Login
Show Navigation
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. p̸h̴o̸⁴c̵e̴ₓa̵ (pho4cexa@tiny.tilde.website)'s status on Friday, 16-Mar-2018 15:57:03 EDT p̸h̴o̸⁴c̵e̴ₓa̵ p̸h̴o̸⁴c̵e̴ₓa̵

    It seems like the seL4 microkernel project is really taking off. I keep hearing of projects that use it and now a DARPA seL4 "Center of Excellence."

    (and I'm not in that community at all, just casually following news)

    I'd be so excited about projects like the Rust-based OS https://robigalia.org/, but I'm terrified so see it and others permissively-licensed.

    If you're working on an OS or kernel please consider a license with tivoization protection like GPL3, for the safety of your users 😱

    In conversation Friday, 16-Mar-2018 15:57:03 EDT from tiny.tilde.website permalink
  • 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.