Probe
#4f9885c454
of TUXEDO Pulse 15 Gen1
Log: biosdecode
# biosdecode 3.5 ACPI 2.0 present. OEM Identifier: ALASKA RSD Table 32-bit Address: 0xCC8FE394 XSD Table 64-bit Address: 0x00000000CC8FE728
Hardware for
Linux
and
BSD
