VRQs offer different levels which focus on the development of the underlying principals and practical skills required in varying industries. They are designed to deliver a high level of occupational capability and progression into employment. The flexible structures ensure they will appeal to individuals in full time or part time education, as well as continuous professional development. National Vocational Qualifications (NVQs) This is largely a rephrasing of the setup code in arm64/kvm/hyp/nvhe/setup.c. It takes memory from the early allocator pool, but we no longer care about the internal invariant of that after this point. Will: Arm added a new instruction, TTL hint - would love to know what happens if you get that wrong. Telling TLB invalidation what level you're operating at. 2.10 Section structure and linker script wrangling calls __host_enter from arch/arm64/include/asm/kvm_hyp.h A and arch/arm64/kvm/hyp/nvhe/host.S A to restore registers and eret

We have a separate note, notes19-2020-06-26-pkvm-build, based on notes from Will and Andrew S., explaining how to get, build, and run the pKVM code. 1.1 Questions Those structs are defined in arch/arm64/include/asm/kvm_host.h A 1.6.10 system register save and restore Mace B (2003) Statistical energy analysis, energy distribution models and system modes. J Sound Vib 264(2):391–409. doi: 10.1016/S0022-460X(02)01201-4 There are several stages of bring-up. We care primarily about the state that this constructs; we might or might not end up reasoning about the correctness of the initialisation code w.r.t. assumptions on what the rest of Linux provides, e.g. the EL2 code from __kvm_hyp_protect (earlier code is somewhat intertwined with the rest of the kernel, so harder to reason about).LWN article: https://lwn.net/Articles/836693/ (Serban says 2020-12-01 that this is the best external reference/motivation at present) De Rosa S, Franco F (2010) On the use of the asymptotic scaled modal analysis for time-harmonic structural analysis and for the prediction of coupling loss factors for similar systems. Mech Syst Signal Process 24(2):455–480. doi: 10.1016/j.ymssp.2009.07.008 That kvm_ksym_ref and hyp_symbol_addr are defined in arch/arm64/include/asm/kvm_asm.h A and also, suspiciously, kvm_ksym_ref_nvhe(sym as kvm_ksym_ref(kvm_nvhe_sym(sym)). Zhang D, Ma F, Zheng E (2013) A Herglotz wavefunction method for solving the inverse Cauchy problem connected with the Helmholtz equation. J Comput Appl Math 237(1):215–222. doi: 10.1016/j.cam.2012.07.026

FEAT_GTG, Guest translation granule size (added 8.5) - assume not used, as we're using 4kb granules? PS: and proving that no other crazy stuff in the architecture lets any of the system registers that you do depend on can be mutated. A simplish fact about the architecture, but one that needs proof about the whole architecture, in ways that we've done before. Current analysis/el2 source files as of 2020-11-25 and pkvm source files as of 2020-12-19; see also from an older read-dwarf run the compilation units from the analysis/el2 O0 binary at file:///home/pes20/repos/read-dwarf/pkvm-O0/el2.rd/index.html

Fasteners: Nail dimensions in the table are listed diameter by length. For additional information, see Fastener Types and Sizes Specified for Simpson Strong-Tie Connectors. kvm_pgtable_hyp_map (in arch/arm64/include/asm/kvm_pgtable.h A and arch/arm64/kvm/hyp/pgtable.c A) doesn't seem to be doing any offsetting(?) 3 Invariants MAIR_EL2 Memory Attribute Indirection Register (EL2). Provides the memory attribute encodings corresponding to the possible AttrIndx values in a Long-descriptor format translation table entry for stage 1 translations at EL2. https://developer.arm.com/docs/ddi0595/i/aarch64-system-registers/mair_el2

FEAT_HAFDBS, Hardware management of the Access flag and dirty state (from v8.1, implementation-defined) - don't know? (guess likely used by guests if present; maybe pKVM doesn't have any use for it?)TPIDR_EL2 EL2 Software Thread ID Register. Provides a location where software executing at EL2 can store thread identifying information, for OS management purposes. The PE makes no use of this register. https://developer.arm.com/docs/ddi0595/i/aarch64-system-registers/tpidr_el2