Hello, I am currently trying to develop a distro of Linux that is similar to Mac OS X and I need to turn on HPET and put it into 64 bit mode. I couldnt find a bios option for this and was wondering if you can help me here, once again sorry if it is the wrong place for this post,

Thanks in advance -Adi