seL4/include/arch
Adrian Danis dd59353944 x86: More portable user mode IO port restriction
For x86-64, to disable IO instructions in user mode requires a
IO permission map being set up properly in TSS. Setting the
IO map base field of TSS larger than the TSS works for 32-bit, but
not 64-bit. This commit sets up a IO permission map usable for both
32-bit and 64-bit kernel and changes the TSS to use the mapping.
The IO permission bitmap is appened to the bitfield generated tss_t,
resulting the tss_io_t structure.
2016-02-15 16:08:51 +11:00
..
arm Added changes for Wandboard 2016-02-12 11:54:36 +11:00
x86/arch x86: More portable user mode IO port restriction 2016-02-15 16:08:51 +11:00