David Gibson

Principal Software Engineer at Device Tree Compiler (dtc)

Canberra, Australia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
David Gibson is a Principal Software Engineer with 26 years of systems and open-source experience, currently at Red Hat where he leads development of passt and pasta for rootless network connectivity in containers and VMs. His deep kernel and virtualization expertise stems from long-term work on QEMU, KVM, Kata Containers and early Linux bring-up for new CPUs across PowerPC, embedded ARM and others. He is the author and maintainer of the device tree compiler (dtc), and his contributions to projects like RTEMS, ccan, Podman and Kata Containers show a focus on libfdt robustness, low-level safety fixes and practical testing/CI improvements. Comfortable across C, Rust and platform-specific QEMU plumbing, he blends low-level hardware enablement with pragmatic tooling that benefits developers and operators. Based in Canberra, he combines enterprise virtualization experience from IBM and Red Hat with a habit of fixing subtle undefined behavior and build / bring-up issues that often block platforms from shipping.
code26 years of coding experience
job18 years of employment as a software developer
bookAustralian National University
languagesEnglish, French
github-logo-circle

Github Skills (53)

algorithm10
algorithms10
kubernetes10
powerpc10
build-script10
container10
confidential-computing10
docker10
qemu10
scripting10
testing10
vfio10
memory-management10
command-line-interface10
linux10

Programming languages (7)

ShellCRustLLVMGoMarkdownPython

Github contributions (5)

github-logo-circle
rustyrussell/ccan

Mar 2011 - Jul 2019

The C Code Archive Network
Role in this project:
userBack-end Developer
Contributions:3 reviews, 187 commits, 1 PR in 8 years 5 months
Contributions summary:David primarily worked on the core C code archive network library, focusing on functionality and test improvements. Contributions included implementing a `memmem()` function and various test cases for functions like `memrchr()`. The user also made improvements to an existing RCF822 module, including bug fixes, the addition of an example program, and code refactoring.
archive
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
Role in this project:
userBack-end & System Engineer
Contributions:246 reviews, 208 commits, 71 PRs in 1 year 11 months
Contributions summary:David primarily contributed to the QEMU hypervisor code base within the Kata Containers project. Their work focused on addressing specific issues and enhancing the functionality of the QEMU integration. The user made changes to the code base by fixing kernel parameter configurations, modifying PCI device configurations and implementing new features related to VFIO devices. The changes involved working with code related to platform specific qemu implementation.
firecrackervirtualizationociworkloadvdi
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
David Gibson - Principal Software Engineer at Device Tree Compiler (dtc)