I am using kernel 2.6.5. I'm not sure that the pc_kbd_init function exists in kernel 2.6.5. But it does not look like atkbd_init() is called, in case that's what you meant to say. I'll check it out again tomorrow if I have some time.
When we cat /proc/interrupts, int 1 does not appear on the list:
k root # cat /proc/interrupts CPU0 CPU1 0: 17164403 0 IO-APIC-edge timer 2: 0 0 XT-PIC cascade 4: 8 0 IO-APIC-edge serial 8: 0 0 IO-APIC-edge rtc 12: 41628 0 IO-APIC-edge i8042 14: 23228 0 IO-APIC-edge ide0 15: 2 0 IO-APIC-edge ide1 19: 270954 0 IO-APIC-level eth0 NMI: 181 22 LOC: 17161863 17161969 ERR: 0 MIS: 0
However, this is in our dmesg: k root # dmesg | grep -ie 'kbd' serio: i8042 KBD port at 0x60,0x64 irq 1
Also, the mouse works in X windows.
On Wed, 5 May 2004, YhLu wrote:
What is your kernel version? 2.6?
Please check if the pc_kbd_init is called, 2.6 for X86-64/i386 need keyboard be reset. It assume BIOS has did that for him.
Regards
YH
-----é®ä»¶å件----- å件人: Hendricks David W. [mailto:dwh@lanl.gov] åéæ¶é´: 2004å¹´5æ5æ¥ 12:25 æ¶ä»¶äºº: YhLu æé: linuxbios@clustermatic.org 主é¢: Re: Which kernel for framebuffering?
Worked nicely :) The keyboard worked at FILO, but did not work after the kernel booted. It didn't even show IRQ 1 in /proc/interrupts. Weird, but I guess that's another matter. I'm just very, very happy to see Linux boot into a console I can see on a real monitor :)
On Tue, 4 May 2004, YhLu wrote:
David,
Please refer to the patch for 2.4.22 and 2.6.5, or you can put that in CVS ...
Also please refer to the matix to see which kernel you want to use.
Please make sure enable ati xl framebuffer only in kernel config. ( don't enable noinit)
Regards
YH
-----Ãüþüþ----- ·¢¼þÃÃ: Hendricks David W. [mailto:dwh@lanl.gov] ·¢ÃÃñ¼ä: 2004Ãê5ÃÃ4Ãà 13:31 ÃüþÃÃ: YhLu ³ÂÃÃ: linuxbios@clustermatic.org Ã÷Ãâ: Which kernel for framebuffering?
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.