Author: Gernot Heiser, seL4 FoundationIn June 2020 we announced that the seL4 microkernel, the world’s first operating system (OS) kernel with a machine-checked proof of…
RISC-V, the "youngest" ISA (Instruction Set Architecture), which was born in year 2010, has attracted many giant supporters, such as Google, Qualcomm, Western Digital, Alibaba,…
Investment firm Chengwei Capital to join the RISC-V Board of Directors and Technical Steering Committee Zurich – April 29, 2021 – RISC-V International, a non-profit…
We are at an incredible inflection point for RISC-V. We are making history and we want you to be a part of it! RISC-V is…
Bugs: A verification engineer’s dream, a designer’s nightmareThis blog was originally published on the Axiomise website. Read the original blog. Who wants to have bug escapes? Nobody. Who wants to have bugs…
RISC-V Application to Machine Language | Maven SiliconRISC-V Application to Machine Language March 17, 2021 Sivakumar P R This video explains how a RISC-V processor executes all the software applications written in the…
Bringing the benefits of RISC-V and Renode to the Very Efficient Deep Learning in IoT projectThe EU-funded Very Efficient Deep Learning in IoT (VEDLIoT) project is underway. Launched at the end of 2020, it aims to build a next-generation IoT…
I am thrilled to see the announcement and initiation of collaboration between CHIPS Alliance and RISC-V International on the OmniXtend Cache Coherency protocol. We have…
The Cybersecurity Pincushion and a Myriad of Tiny Threat Points“Large organizations are using over 130 tools on average. This is just massive!” - Matt Chiodi, CSO, Palo Alto Networks’ public cloud A new Cloud…
New joint working group will enhance the OmniXtend Cache Coherency architecture SAN FRANCISCO, March 24, 2020 – RISC-V International, a non-profit corporation controlled by its…
Check out the new RISC-V Careers page and RISC-V Mentorship program!We are excited to announce the new RISC-V Careers page and RISC-V Mentorship program! As the RISC-V ecosystem and community grow, we’re bringing together those…
FOSSi Fever 20202020 was a year with a lot of bad news and so it feels slightly strange to cheerfully write about a very specific topic in…