Abstract
This document presents the specification of the VESPER
VHE kernel. The capabilities exposed by the VHE kernel
are presented along with description of the external VHE
behaviour. In addition, a number of VHE components are
specified, in terms of their functionality and operation
inside the VHE kernel.
Original language | English |
---|---|
Number of pages | 167 |
Publication status | Published - 2001 |
MoE publication type | D4 Published development or research report or study |