Após Mounter ter tentado (sem sucesso) fazer o mouse PS/2 funcionar, e eu por dias tentando também, era frustante ver que a IRQ12(mouse) não era disparada!
Pois é, depois de avaliar o problema mais a fundo, cheguei ao arquivo arch/x86/interrupts.c, na linha 4:
static uint8_t ocw1 = 0xFFFF;
que é a variável da máscara das IRQs , note que o bit 2 (IRQ2, que faz a ligação do PIC Master com o Slave) esta mascarado!
portanto, modifiquei esta linha para:
static uint8_t ocw1 = 0xFFFB;
a partir de entao, as IRQs acima de 7 são disparadas.
Essa poderia ser uma solução oficial? estou equivocado?
P.S.: lembro qnd estava fazendo uns codigos pada cdrom, e nao conseguia fazer as interrupções disparar, o que foi um dos motivos pra me desanimar e descontinuar o código, isso na versão 0.3.7 do kernel.