• Charlie Jacobsen's avatar
    Added GDT and TSS guest physical mapping code (untested). · 543ccab0
    Charlie Jacobsen authored
    lcd_arch_ept_map_gpa_to_hpa
    -- simple routine combining effects of ept walk and set
    -- part of arch-dep public interface
    
    Added mapping code to gdt init and tss init, and some
    documentation for those routines.
    
    Starting code for stack initialization (should be
    simple).
    543ccab0
lcd-domains-arch.h 6.72 KB