manual: don't list out all MSRs and VMCS fields#515

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:manual_updateau-ts/microkit:manual_updateCopy head branch name to clipboard