Hardware-Specific Bare-Metal Microhypervisor Prototype. - Ivan Kolchin; Maxim Nikolaev; Stanislav Parfenov; Oleg Popkov; Sergey Sobolev (ICPP, 2013)