Pedro Henrique Penna articles

Pedro Henrique Penna

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.

A team of practitioners work in a shared office space.

Tutorials and demos
Programming Languages

•

Jan 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.