Hello All, I'm trying to speed up an operating system I am developing for fun by using the WHPX accelerator but I'm having a lot of issues with it. It quickly faults and that's the end of things. I'd like to debug it but I can't because of the following:
I use a bootloader to load the kernel into the higher half (i.e. 0xffffffff8~~~~~) but if I use GBD it reports all the instructions being executed are 0x000000008~~~~~~ and so none of my breakpoints are hit. Does anyone have any idea why this would be? TCG works just fine but is much slower. Thanks, Jim
