Alguien sabe como acceder a la info del kernel (más precisamente a lo que le reporto la BIOS) con otro método que usar dmesg? Saludos, -- Cerviño Ulises