Tag: FOSS

SiFive Freedom E310 processor

Get the latest news on developments in the wider community and topics including wireless, embedded and open source silicon.

seL4 Logo

SeL4 Microkernel v9.0.1 Ported to RISC-V

The open-source seL4 microkernel, the first general-purpose kernel to have been proven to-spec using formal verification methods, has been ported to the open RISC-V instruction set architecture – though its creators warn it’s in a very early, limited form. Originally developed by Australia’s National Information and Communications Technology (ICT) Research… Read More