We were able to build and boot LinuxBIOS with VGA support for an HDAMA. FILO came up on screen and the keyboard worked, but we've been unable to get Linux framebuffering to work using a 64-bit kernel. We were wondering if there's anything special you had to do to make it work, or any special kernel version or patches we need to use.