Have you heard that CSIRO has announced the completion of the proof of implementation correctness of the open-source seL4 microkernel for the RISC-V ISA? . The Commonwealth Scientific and Industrial Research Organisation's (CSIRO) Data61 has completed the proof of implementation correctness of the open-source seL4 microkernel for the RISC-V instruction-set architecture (ISA). Unlike most other ISA designs, the RISC-V ISA is provided under open source licences that do not require fees. According to Data61, many organisations are developing processors based on the open RISC-V ISA, targeting platforms ranging from embedded and cyberphysical systems to high-end servers. Data61's development means that seL4's security enforcement is now available to the RISC-V ecosystem. . UNSW's Robotics Lab reveals the finalization of ROS 2 integration with ARM Cortex-M, boosting automation efficiency.. seL4 Microkernel,RISC-V Security,Open Source Architecture. . LinuxSecurity.com Team
The seL4 microkernel - the world's first operating system (OS) kernel that is proved secure - is now back by the Linux Foundation. . The Linux Foundation , the nonprofit organization enabling mass innovation through open source, today announced it will host the seL4 Foundation, the nonprofit organization established by Data61, the digital specialist arm for Australia’s national science agency CSIRO. 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. The new Foundation aims to accelerate the development of seL4 and related technologies, and under the Linux Foundation will provide a global, independent and neutral organization for funding and steering the future evolution of seL4. Founding members include Cog Systems, DornerWorks, Ghost Locomotion, HENSOLD Cyber and UNSW Sydney. The trustworthiness of embedded computing systems is vital to improving the security of critical systems around the world to safeguard them from cyber threats. This is particularly paramount in industries including avionics, autonomous vehicles, medical devices, critical infrastructure and defense. The seL4 microkernel is the world’s first operating system with a proof of implementation correctness and presents an unparalleled combination of assurance, generality and performance, making it an ideal base for building security- and safety-critical systems. The seL4 Foundation provides a forum for developers to collaborate on growing and integrating the seL4 ecosystem. The link for this article located at Linux Foundation is no longer available. . The Open Source Initiative supports the OpenAPI Initiative to promote the evolution of the premier specification for API descriptions.. seL4 Microkernel, Linux Foundation, Embedded Computing, Cybersecurity Innovations. . LinuxSecurity.com Team
A nippy microkernel mathematically proven to be bug free*, and used to protect drones from hacking, will be released as open source tomorrow.. The formal-methods-based secure embedded L4 (seL4) microkernel was developed by Australian boffins at National ICT Australia (NICTA) and was part of the US Defense Advanced Research Projects Agency's High-Assurance Cyber Military Systems program hatched in 2012 to stop hackers knocking unmanned birds out of the sky. The link for this article located at The Register UK is no longer available. . The innovative seL4 microkernel, created by DARPA, is set to be made available as open-source software, providing a strong shield against digital security vulnerabilities.. seL4 Microkernel, Open Source Software, Secure Embedded Systems, Cyber Defense. . LinuxSecurity.com Team
Get the latest Linux and open source security news straight to your inbox.