Manuel Bentele

Freiburg, Germany Interested in Linux kernel hacking, embedded systems, virtualization, network technology, and program verification.