Merged Linux kernel documentation (figures from paper).