Pedro Henrique Penna posts

Senior Research SWE at Microsoft Research, Creator of Nanvix

Pedro is currently working on Nanvix – A Microkernel-Based Research Operating System. Pedro earned his PhD Degree in Computer Science from Université Grenoble Alpes (UGA) and from Pontifícia Universidade Católica de Minas Gerais (PUC Minas) in 2021. During his thesis, he devised a distributed operating system for lightweight manycore processors. He has over 15 years of experience in research, design and development of computing systems.

Tutorials and demos January 28 8 min read

Hyperlight Nanvix: POSIX support for Hyperlight Micro-VMs

The Cloud Native Computing Foundation’s (CNCF) Hyperlight project delivers faster, more secure, and smaller workload execution to the cloud-native ecosystem.

Hyperlight Nanvix: POSIX support for Hyperlight Micro-VMs

Microsoft Open Source