Author: Gareth Halfacree

Gareth Halfacree is a technology journalist and technical author best known for his work on the Raspberry Pi User Guide and an upcoming book covering the BBC’s micro:bit project. A keen open source advocate and RISC-V fan, Gareth is responsible for curating our fortnightly community round-up posts.
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
Arm NN Diagram

Arm NN White Paper Points to Embedded AI Future

Arm’s Robert Elliot and Mark O’Conner have published a white paper on the company’s Arm NN machine learning platform and its optimisations for use on low-power embedded devices. “We expect machine learning to become a natural part of programming environments, with tiny embedded neural networks being part of program execution,”… Read More
Nvidia Xavier

Arm, Nvidia Partner for IoT Deep-Learning

Low-power processor specialist Arm and high-performance processor specialist Nvidia have announced a partnership to bring deep-learning technology to Internet of Things (IoT) devices through dedicated hardware acceleration. As part of Arm’s Project Trillium initiative on machine learning, the company has joined forces with Nvidia to integrate its Deep… Read More