Tota e navegantes da Ilusão, muito obrigado pela ajuda.
Bem, quanto ao driver, pelo que vi no site a HP não fornece o driver para Linux, apenas Windows e Mac.
Com relação ao comando dmesg. Fiz o sugerido pelo Tota e verifiquei que os resultados são iguais sem o cartão plugado e com o cartão plugado.
Acredito que as linhas que tratam do leitor são:
[ 2.279113] sdhci: Secure Digital Host Controller Interface driver
[ 2.279115] sdhci: Copyright(c) Pierre Ossman
[ 2.280209] sdhci-pci 0000:03:00.2: SDHCI controller found [10ec:5288] (rev 1)
[ 2.280270] sdhci-pci 0000:03:00.2: PCI INT C -> GSI 16 (level, low) -> IRQ 16
[ 2.280312] sdhci-pci 0000:03:00.2: Will use DMA mode even though HW doesn't fully claim to support it.
[ 2.280334] sdhci-pci 0000:03:00.2: setting latency timer to 64
[ 2.280374] Registered led device: mmc0::
[ 2.280428] mmc0: SDHCI controller on PCI [0000:03:00.2] using DMA
Seguindo um tutorial, eu filtrei o comando dmesg usando: # dmesg | grep '03:00.2', o resultado foi o seguinte:
[ 1.008244] pci 0000:03:00.2: reg 10 32bit mmio: [0xd5410000-0xd54100ff]
[ 1.008526] pci 0000:03:00.2: supports D1 D2
[ 1.008528] pci 0000:03:00.2: PME# supported from D0 D1 D2 D3hot D3cold
[ 1.008548] pci 0000:03:00.2: PME# disabled
[ 2.280209] sdhci-pci 0000:03:00.2: SDHCI controller found [10ec:5288] (rev 1)
[ 2.280270] sdhci-pci 0000:03:00.2: PCI INT C -> GSI 16 (level, low) -> IRQ 16
[ 2.280312] sdhci-pci 0000:03:00.2: Will use DMA mode even though HW doesn't fully claim to support it.
[ 2.280334] sdhci-pci 0000:03:00.2: setting latency timer to 64
[ 2.280428] mmc0: SDHCI controller on PCI [0000:03:00.2] using DMA
Também tentei ver o modulo com o comando: #modprobe -c | egrep '10ec:*5288' e com o comando modprobe -c | egrep '10ec:5288' (não sabia qual dos dois era o correto rsr), porém, nenhum dos comando retornou qualquer valor ou mensagem de erro.
Tava olhando o retorno do lspci e tem uma linha estranha com o mesmo modulo do leitor de cartão, a linha é essa:
03:00.1 Unassigned class [ff00]: Realtek Semiconductor Co., Ltd. Device [10ec:5288] (rev 01)
Usei o comando #dmesg | grep '03:00.1' para filtrar e a resposta foi essa:
[ 1.007729] pci 0000:03:00.1: reg 10 32bit mmio: [0xd5400000-0xd540ffff]
[ 1.007998] pci 0000:03:00.1: supports D1 D2
[ 1.007999] pci 0000:03:00.1: PME# supported from D1 D2 D3hot D3cold
[ 1.008019] pci 0000:03:00.1: PME# disabled
Agradeço e aguardo ajuda.
Obrigado. T+