Hi, Iām Vincenzo š
š®š¹ On my business card, I am a Software Architect@ARM. In my mind, I am a Linux Kernel Developer. But in my heart and soul, I am a Gamer ā¤ļø.Projects
Memory Tagging Extension for Linux (arm64)
ARMv8.5 based processors introduce the Memory Tagging Extension (MTE) feature. I contributed to add support for MTE to the arm64 Linux Kernel. The changes are visible upstream.
Tagged Address ABI for Linux (arm64)
The Tagged Address ABI introduces a relaxation of the syscall ABI that allows userspace to pass certain tagged pointers to kernel syscalls.
Unified Virtual Dynamic Shared Object (vDSO)
Prior to the introduction of the Unified vDSO, every architecture implemented their own vDSO library in the architectural code. The purpose of the project is to identify the commonalities in between the architectures and try to consolidate the common code paths. I am currently vDSO co-maintainer.
The Kernel Address Sanitizer (KASAN)
KernelAddressSANitizer (KASAN) is a dynamic memory error detector. It provides a fast and comprehensive solution for finding use-after-free and out-of-bounds bugs. Currently KASAN is supported only for the x86_64 and arm64 architectures. I contributed the MTE based backend and I am currently KASAN official reviewer.
Morello Project
Morello is a research program led by Arm in association with partners and funded by the UKRI as part of the UK government Digital Security by Design (DSbD) programme . It defines a new prototype security architecture based on CHERI (Capability Hardware Enhanced RISC Instructions).
Morello Linux
Docker based image that allows to run capability based software on hardware that does not support capabilities.
Morello SDK
Docker based image that allows to crosscompile software compatible with Morello.
Zephyr Project: ARM V2M Beetle
The Zephyr Project is a small real-time operating system (RTOS) for connected, resource-constrained and embedded devices supporting multiple architectures. I am currently acting maintainer for ARM V2M Beetle Board.
Zephyr Project: ARM V2M MPS2
The Zephyr Project is a small real-time operating system (RTOS) for connected, resource-constrained and embedded devices supporting multiple architectures. I am currently acting maintainer for ARM V2M MPS2 Board.