"A Scalable Physical Memory Allocation Scheme for L4 Microkernel."

Chen Tian, Daniel G. Waddington, Jilong Kuang (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics