Kernel design for isolation and assurance of physical memory. (2008)

by Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone
Venue:In 1st Workshop on Isolation and Integration in Embedded Systems,