I'm an engineer at Capabilities Limited, UK.

• sys/riscv
• arm smmu
• arm pmu
• arm scmi
• arm scmcc for psci
• arm generic_timer
• arm hwpmc
• arm mali gpu kernel driver (cheribsd)
• arm komeda (cheribsd)
• arm coresight
• arm morello board support
• intel sgx
• snd_hdspe
• hwt (new hardware trace framework)
• designware dwmmc, if_dwc, dwgpio

my CV

• https://machdep.uk/static/cv_2022.pdf

Email: br@bsdpad.com