On 05.12.2010, at 17:25, Blue Swirl wrote: > 'info tlb' didn't show correct information for PAE mode and > x86_64 long mode. > > Implement the missing modes. Also print NX bit for PAE and long modes. > Fix off-by-one error in 32 bit mode mask. > > Signed-off-by: Blue Swirl <blauwir...@gmail.com> > --- > > I didn't find an OS that enabled PAE, please test and report.
Xen does. Just take a random recent xen kernel and run it with -kernel :). Alex