RE: Kernel 64bit

Thanks Jonthan/Santosa, I could make a ISO image with Debian. My kernel was not booting earlier as I was booting wrong image. With new ISO image, still I did not get login prompt yet:(. Debugging the issue.