MY PERSONAL HOMEPAGE

Welcome to my personal homepage!
See presentations for a list of talks and keynotes I gave at conferences and articles I published.

If you have any suggestions you can send me a mail.
My public gpg key is also available (my old gpg key is here).

MILESTONES

Sep, 2020: Xen ported to RPi4

Dec 2019: Cache Coloring for Xen made public

Oct, 2019: Starting RunX, an OCI Runtime Spec compliant containers runtime that runs containers as Xen VMs

Nov, 2018: Xen Dom0-less accepted in Xen

May, 2017: Starting stage1-xen, a CoreOS rkt stage1 for secure containers with Xen

Apr, 2017: Xen 9pfs and PVCalls protocol specifications accepted in Xen

Jun, 2015: Xen via Libvirt enters Group B in OpenStack

Jul 16, 2013: standing up for respect and politeness on the Linux Kernel mailing list

Jul 09, 2013: Xen 4.3 released: ARM is supported and upsteam QEMU is the default device model

Jun 03, 2013: Xen support for ARM64 is merged in Linux

Sep 14, 2012: Xen support for ARM is merged in Linux, becoming Xen ARM maintainer

Nov 29, 2011: Xen on ARM annoucement

Jul 09, 2011: becoming Xen maintainer in QEMU

May 9, 2011: Xen support is merged in QEMU

26 Oct, 2010: Xen Dom0 support is merged in Linux

May 14, 2010: Xen PV on HVM support is merged in Linux

Nov 09, 2009: libxenlight announcement