Has anybody here yet tried to run an x86-64 kernel on Bochs, and if so, could you tell me what configurations must be made to enable its use?
I have it currently setup booting a standard 32-bit kernel, but I cannot find information concerning whether 64 bit is built in, or if you must load new romimages, etc.
Any help would be welcome.
Thanks in advance.