keii.dev / opuntiaOS
opuntiaOS - an operating system targeting x86 and ARMv7
fork atom
opuntiaOS / kernel / include / platform / generic / vmm /
at master 5 files
consts.h
mapping_table.h
pde.h
pf_types.h
pte.h