 The virtualized platform vkernel runs on is built on top of high @-@ level abstractions provided by the real kernel . These abstractions include the <unk> @-@ based timer , the console ( mapped to the virtual terminal where vkernel is executed ) , the disk image and virtual kernel Ethernet device ( <unk> ) , tunneling all packets to the host 's tap interface . 
