Andrew Murray

Embedded Linux software engineer -

[The Capable Hub @TheCapableHub]

We've ported wolfSSL to CHERI and delivered the changes upstream 🙌

Read our latest blog post to find out how we got here, the changes needed and how we uncovered a latent bug in wolfSSL's AES code: https://t.co/rlOt2m9Fs4

#CHERI #wolfSSL #Security #Embedded #CHERIoT

[TheGoodPenguin @GoodPenguinLtd]

We're at the #EmbeddedRecipes2026 conference in Nice, France this week. Beyond soaking up knowledge in good company, we're proud to support the event as sponsors and members of the program committee. If you're here, we'd love for you to say hello 👏 #Embedded #Conference

[The Capable Hub @TheCapableHub]

We attended CHERI Blossoms in March, find out what we learnt in our latest blog post ⬇️ #CHERI https://t.co/s5fJAxHYjz

[TheGoodPenguin @GoodPenguinLtd]

Find out how our recent upstream Linux kernel contributions have improved boot times for everyone in our latest blog post #linux #kernel #boottime
https://t.co/qUhsP5akgN

[TheGoodPenguin @GoodPenguinLtd]

We're really pleased to have welcomed David Hughes to our team last week, bringing more than 25 years of software and electronics experience with him.

[The Capable Hub @TheCapableHub]

We've rebased the CHERI port of GDB from 14.1 to 17.1, bringing it in alignment with upstream, find out more in our latest blog post #CHERI #GDB #OSS https://t.co/b4sQ9s6OO1

[The Capable Hub @TheCapableHub]

Find out how to get started with CHERI-seL4 in our latest blog post ⬇️ https://t.co/NS1LYphPOl

[The Capable Hub @TheCapableHub]

We're looking for volunteers to join our Technical Advisory Group, which will allow you to help set our engineering priorities. Find out more in our blog post: #CHERI
https://t.co/DdTMPLSCaB

[The Capable Hub @TheCapableHub]

Find out how to get started with CHERIoT-RTOS on #CHERI in our latest blog post: https://t.co/YslTIv7pZ5

[The Capable Hub @TheCapableHub]

Find out how to get started with CHERI Linux on RISC-V in our latest blog #CHERI #Linux #RISCV https://t.co/w51ob3rVtm

[The Capable Hub @TheCapableHub]

Find out how to build and run Yocto on Morello in our latest blog post #CHERI #Linux #Yocto #Morello https://t.co/wr9dbZ7tzK

[The Capable Hub @TheCapableHub]

Find out how to build and run Zephyr for CHERI in our latest blog post ⬇️https://t.co/wrYkAGYOUa #CHERI #Zephyr

[TheGoodPenguin @GoodPenguinLtd]

We're pleased to announce that we've been awarded funding to set up @TheCapableHub, a open-source hub for CHERI tools and software. Read more in our latest blog post ⬇️
https://t.co/rcSXtdJGoA

[Raspberry Pi @Raspberry_Pi]

These nice people had good things to say about our rpi-image-gen and rpi-sb-provisioner.

https://t.co/pTpFOPQRVm

[TheGoodPenguin @GoodPenguinLtd]

The fine people at @Raspberry_Pi have released rpi-image-gen and rpi-sb-provisioner to allow for easily building a Debian based distribution and flashing it on a device (with secure-boot). Find out more in our latest blog post 👇https://t.co/j1tmryhpfs

[Andrew Murray @frogboyflips]

@emmysteuer CHERI - https://t.co/FCvPGRJicR

[TheGoodPenguin @GoodPenguinLtd]

We attended the Embedded Linux Conference earlier this year in Amsterdam, read about our favourite talks in our latest blog post:
https://t.co/80emnuxwYL
#OSSummit #EmbeddedLinuxConference

[Andrew Murray @frogboyflips]

@kieranbingham You could use CC BY-NC to prevent commercial use, and then grant licenses to anyone that wants to use it commercially in an open way, right? Though, that adds friction for open-use. Maybe there are similar use-cases in AI training data?

[TheGoodPenguin @GoodPenguinLtd]

It's our annual tradition to raise money for charities that have an impact in the geographical areas where we work. This year we chose Cancer Research UK. Feel free to contribute via our JustGiving campaign: https://t.co/eM4E85bb7h

[TheGoodPenguin @GoodPenguinLtd]

We are proud to have become a @Raspberry_Pi Design Partner, recognising the work we do in supporting customers from prototype through to production and beyond. #RaspberryPi