Idkat
From Digitalis
Contents |
About
Idkat is a SuperMicro SuperServer 4048B-TR4FT
This machines is quad socket Intel Xeon Haswel-EX and can support up to 4 PCI-E 16x accelerators (e.g. GPU, MIC) but none are provided for now.
- Full hardware specs
- 4x Intel Haswel-EX E7-4830 v3 (4x 12 cores = 96 threads total)
- 256 GB DDR4
- 2x Intel SSD
- Infiniband FDR
- 2x 10Gbps Ethernet
- eth0: G5K production VLAN (same as all other machines in the site)
- eth1: dedicated 10GE VLAN (same a Ppol eth2) => no ip configuration by default
- Software
The machine uses Grid'5000's Debian jessie-x64-std as its default environment (OS). Besides, the machine is kadeployable.
Gotcha
The machine happens to have a "kworker" process which consumes 100% of the logical CPU 0 (easily shown by the top command). This seems to be due to a badly handled ACPI interrupt. The following command shows that a lot of interrupts happen on gpe24:
root@idkat:~# grep . -r /sys/firmware/acpi/interrupts/ /sys/firmware/acpi/interrupts/sci:216349000 /sys/firmware/acpi/interrupts/error: 0 /sys/firmware/acpi/interrupts/gpe00: 0 invalid [...] /sys/firmware/acpi/interrupts/gpe23: 0 invalid /sys/firmware/acpi/interrupts/gpe24:216349010 enabled /sys/firmware/acpi/interrupts/gpe25: 0 invalid [...]
Disabling the interrupt removes this behavior:
echo disable > /sys/firmware/acpi/interrupts/gpe24
This fix is integrated in kadeploy preinstall of idkat (see /etc/cron.d/gpe24-fix), hence is applied to the default environement as well as any system deployed by a user which makes use of the file.
Bios configuration
As of 2016-08-29-10:43:22, the bios configuration of the machine is the following:
[Advanced|Boot Feature] Quiet Boot=01 // Please enter the value in 2 hexadecimal digits. Default value is <<<01>>> AddOn ROM Display Mode=01 // *01 (Force BIOS), 00 (Keep Current) Bootup NumLock State=01 // *01 (On), 00 (Off) Wait For "F1" If Error=01 // 00 (Disabled), *01 (Enabled) Re-try Boot=00 // *00 (Disabled), 01 (Legacy Boot), 02 (EFI Boot) Watch Dog Function=00 // *00 (Disabled), 01 (Enabled) Power Button Function=00 // *00 (Instant Off), 01 (4 Seconds Override) Restore on AC Power Loss=01 // 00 (Power On), 01 (Stay Off), *02 (Last State) [Advanced|CPU Configuration] Clock Spread Spectrum=00 // *00 (Disable), 01 (Enable) Hyper-Threading=00 // 01 (Disable), *00 (Enable) Cores Enabled=00 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> Check CPU BIST Result=01 // 00 (Disabled), *01 (Enabled) Performance/Watt=00 // *00 (Traditional), 04 (Power Optimized) Execute Disable Bit=01 // 00 (Disable), *01 (Enable) Intel Virtualization Technology=01 // 00 (Disable), *01 (Enable) Intel Safer Mode Extensions=00 // *00 (Disable), 01 (Enable) Hardware Prefetcher=01 // *01 (Enable), 00 (Disable) Adjacent Cache Prefetch=01 // *01 (Enable), 00 (Disable) DCU Streamer Prefetcher=01 // *01 (Enable), 00 (Disable) DCU IP Prefetcher=01 // *01 (Enable), 00 (Disable) DCU Mode=00 // *00 (32KB 8Way Without ECC), 01 (16KB 4Way With ECC) Direct Cache Access (DCA)=01 // 00 (Disable), *01 (Enable) AES-NI=01 // 00 (Disable), *01 (Enable) [Advanced|CPU Configuration|Advanced Power Management Configuration] Power Technology=02 // 00 (Disable), *01 (Energy Efficient), 02 (Custom) [Advanced|CPU Configuration|Advanced Power Management Configuration|CPU P State Control] EIST (P-states)=01 // 00 (Disable), *01 (Enable) Turbo Mode=00 // 00 (Disable), *01 (Enabled) P-state Coordination=00 // *00 (HW_ALL), 01 (SW_ALL), 02 (SW_ANY) PL2_SAFETY_NET_ENABLE=01 // 00 (Disable), *01 (Enable) Uncore CLR Freq=0C // Please enter the value in 2 hexadecimal digits. Default value is <<<0C>>> [Advanced|CPU Configuration|Advanced Power Management Configuration|CPU C State Control] C2C3TT=00 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> Package C State limit=00 // 00 (C0/C1 state), 01 (C2 state), 02 (C6(non Retention) state), *03 (C6(Retention) state) CPU C3 report=00 // *00 (Disable), 01 (Enable) CPU C6 report=00 // 00 (Disable), *01 (Enable) Enhanced Halt State (C1E)=00 // 00 (Disable), *01 (Enable) [Advanced|CPU Configuration|Advanced Power Management Configuration|CPU T State Control] ACPI T-States=01 // 00 (Disable), *01 (Enable) [Advanced|Chipset Configuration|North Bridge|Integrated IIO Configuration|IOAT Configuration] Enable IOAT=01 // 00 (Disable), *01 (Enable) No Snoop=00 // *00 (Disable), 01 (Enable) Disable TPH=00 // *00 (Enable), 01 (Disable) Apply BDX CBDMA ECO=00 // 01 (Yes), *00 (No) [Advanced|Chipset Configuration|North Bridge|Integrated IIO Configuration|Intel VT for Directed I/O (VT-d)] Intel VT for Directed I/O (VT-d)=01 // *01 (Enable), 00 (Disable) Interrupt Remapping=01 // *01 (Enable), 00 (Disable) [Advanced|Chipset Configuration|North Bridge|QPI Configuration|QPI General Configuration] Link Frequency Select=06 // 01 (6.4GT/s), 03 (8.0GT/s), 05 (9.6GT/s), *06 (Auto), 07 (Auto Limited), 08 (Use Per Link Setting) Link L0p Enable=01 // *00 (Disable), 01 (Enable) Link L1 Enable=01 // 00 (Disable), 01 (Enable), *03 (Auto) Legacy VGA Socket=00 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> COD Enable=02 // 00 (Disable), 01 (Enable), *02 (Auto) Home Dir Snoop with IVT- Style OSB Enable=02// 00 (Disable), 01 (Enable), *02 (Auto) [Advanced|Chipset Configuration|North Bridge|Memory Configuration] Halt On Memory Error=00 // *00 (Disabled), 01 (Enabled) DDR Speed=00 // *00 (Auto), 01 (800), 02 (1067), 03 (1333), 04 (1600), 05 (1867), 06 (2133) ODT Timing Mode=01 // *01 (Aggressive Timing), 00 (Conservative Timing) MxB Rank Sharing Mapping=01 // 00 (Maximum Margin), *01 (Maximum Performance) LRDIMM Module Delay=01 // *01 (Disabled), 00 (Auto) Data Scrambling=01 // 00 (Disabled), *01 (Enabled) VMSE Lockstep mode=01 // 00 (1:1 Mode), *01 (2:1 Mode) HA early write post mode=01 // 00 (Disabled), *01 (Enabled) Command 2 Data Tuning=01 // 00 (Disabled), *01 (Enabled) Closed Loop Therm Throt=01 // 00 (Disabled), *01 (Enabled) [Advanced|Chipset Configuration|North Bridge|Memory Configuration|Memory RAS Configuration] Memory Rank Sparing=00 // *00 (Disabled), 01 (Enabled) Spare Error/Memory Correctable Threshold=000A// Please enter the value in 4 hexadecimal digits. Default value is <<<000A>>> Leaky bucket low bit=28 // Please enter the value in 2 hexadecimal digits. Default value is <<<28>>> Leaky bucket high bit=29 // Please enter the value in 2 hexadecimal digits. Default value is <<<29>>> Socket 0 Branch 0 Spare=00 // *00 (Disabled), 01 (Enabled) Memory Interleaving=01 // 01 (NUMA (1-way) Node Interleave), *02 (2-way Node Interleave), 04 (4-way Node Interleave), 08 (8 Way Interleaving, inter socket), 01 (Auto) Channel Interleaving=00 // *00 (Auto), 01 (1-way Interleave), 02 (2-way Interleave), 03 (3-way Interleave), 04 (4-way Interleave) Rank Interleaving=00 // *00 (Auto), 01 (1-way Interleave), 02 (2-way Interleave), 04 (4-way Interleave), 08 (8-way Interleave) Patrol Scrub=01 // *01 (Enable), 00 (Disable) Patrol Scrub Interval=18 // Please enter the value in 2 hexadecimal digits. Default value is <<<18>>> Demand Scrub=01 // *01 (Enable), 00 (Disable) Device Tagging=00 // *00 (Disable), 01 (Enable) Hard Error Detection=00 // *00 (Disable), 01 (Enable) Threshold=00000001 // Please enter the value in 8 hexadecimal digits. Default value is <<<00000001>>> Duration=00000100 // Please enter the value in 8 hexadecimal digits. Default value is <<<00000100>>> A7 Mode=00 // *00 (Disable), 01 (Enable) DDDC support=00 // *00 (Disable), 01 (Enable) DDDC Wirekill=00 // *00 (Disabled), 01 (Enabled) DDDC Wirekill Threshold=02 // Please enter the value in 2 hexadecimal digits. Default value is <<<02>>> Memory Mirroring=00 // *00 (Disable), 01 (Enable) [Advanced|Chipset Configuration|South Bridge] Legacy USB Support=00 // *00 (Enabled), 01 (Disabled), 02 (Auto) EHCI Hand-off=00 // *00 (Disabled), 01 (Enabled) Port 60/64 Emulation=01 // 00 (Disabled), *01 (Enabled) [Advanced|PCIe/PCI/PnP Configuration] PCI Latency Timer=20 // *20 (32 PCI Bus Clocks), 40 (64 PCI Bus Clocks), 60 (96 PCI Bus Clocks), 80 (128 PCI Bus Clocks), A0 (160 PCI Bus Clocks), C0 (192 PCI Bus Clocks), E0 (224 PCI Bus Clocks), F8 (248 PCI Bus Clocks) VGA Palette Snoop=00 // *00 (Disabled), 01 (Enabled) PCI PERR/SERR Support=00 // *00 (Disabled), 01 (Enabled) Above 4G Decoding=00 // *00 (Disabled), 01 (Enabled) SR-IOV Support=01 // 00 (Disabled), *01 (Enabled) Maximum Payload=37 // *37 (Auto), 00 (128 Bytes), 01 (256 Bytes), 02 (512 Bytes), 03 (1024 Bytes), 04 (2048 Bytes), 05 (4096 Bytes) Maximum Read Request=37 // *37 (Auto), 00 (128 Bytes), 01 (256 Bytes), 02 (512 Bytes), 03 (1024 Bytes), 04 (2048 Bytes), 05 (4096 Bytes) ASPM Support=00 // *00 (Disabled), 37 (Auto) MMIOHBase=00000000 // *00000000 (56T), 00000001 (40T), 00000002 (24T), 00000005 (3584G), 00000006 (2T), 00000007 (512G), 00000008 (256G) MMIO High Size=00000002 // 00000000 (32G), 00000001 (64G), *00000002 (128G), 00000003 (256G), 00000004 (512G), 00000005 (1024G) Resource Auto Adjust=01 // *01 (Enabled), 00 (Disabled) CPU1 Slot 1 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU1 Slot 2 PCI-E x16 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU2 Slot 3 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU2 Slot 4 PCI-E x16 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU2 Slot 5 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU3 Slot 6 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU3 Slot 7 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU4 Slot 8 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU3 Slot 9 PCI-E x16 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU4 Slot 10 PCI-E x8 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) CPU4 Slot 11 PCI-E x16 OPROM=02 // 00 (Disabled), *02 (Legacy), 01 (EFI) Onboard Video OPROM=02 // 00 (Do not launch), 01 (UEFI only), *02 (Legacy only) VGA Priority=00 // *00 (Auto), 01 (Onboard), 02 (Offboard) Onboard LAN Option ROM Type=00 // *00 (Legacy), 01 (EFI) Onboard LAN 1 OPROM=01 // *01 (PXE), 02 (iSCSI), 03 (FCoE), 00 (Disabled) Onboard LAN 2 OPROM=00 // 01 (PXE), *00 (Disabled) Network Stack=00 // *00 (Disabled), 01 (Enabled) Ipv4 PXE Support=01 // 00 (Disabled), *01 (Enabled) Ipv6 PXE Support=01 // *00 (Disabled), 01 (Enabled) PXE boot wait time=00 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> [Advanced|ACPI Settings] WHEA Support=01 // 00 (Disabled), *01 (Enabled) Lock Legacy Resources=00 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> PCI AER Support=00 // *00 (Disabled), 01 (Enabled) [Advanced|Trusted Computing] Security Device Support=00 // 00 (Disable), *01 (Enable) TPM State=00 // 00 (Disabled), *01 (Enabled) Pending operation=00 // *00 (None), 05 (TPM Clear) Device Select=02 // 00 (TPM 1.2), 01 (TPM 2.0), *02 (Auto) TXT Support=00 // *00 (Disabled), 01 (Enabled) [Advanced|Super IO Configuration|Serial Port 1 Configuration] COM1 Serial Port=01 // Please enter the value in 2 hexadecimal digits. Default value is <<<01>>> COM1 Change Settings=00 // *00 (Auto), 01 (IO=3F8h; IRQ=4;), 02 (IO=3F8h; IRQ=3,4,5,6,7,10,11,12;), 03 (IO=2F8h; IRQ=3,4,5,6,7,10,11,12;), 04 (IO=3E8h; IRQ=3,4,5,6,7,10,11,12;), 05 (IO=2E8h; IRQ=3,4,5,6,7,10,11,12;) [Advanced|Super IO Configuration|Serial Port 2 Configuration] COM2/SOL Serial Port=01 // Please enter the value in 2 hexadecimal digits. Default value is <<<01>>> COM2/SOL Change Settings=00 // *00 (Auto), 01 (IO=2F8h; IRQ=3;), 02 (IO=3F8h; IRQ=3,4,5,6,7,10,11,12;), 03 (IO=2F8h; IRQ=3,4,5,6,7,10,11,12;), 04 (IO=3E8h; IRQ=3,4,5,6,7,10,11,12;), 05 (IO=2E8h; IRQ=3,4,5,6,7,10,11,12;) Serial Port 2 Attribute=03 // *03 (SOL), 01 (COM) [Advanced|Serial Port Console Redirection] COM1 Console Redirection=00 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> COM2/SOL Console Redirection=01 // Please enter the value in 2 hexadecimal digits. Default value is <<<01>>> EMS Console Redirection=01 // Please enter the value in 2 hexadecimal digits. Default value is <<<00>>> [Event Logs|Change Smbios Event Log Settings] Smbios Event Log=01 // 00 (Disabled), *01 (Enabled) Runtime Error Logging Support=01 // 00 (Disabled), *01 (Enabled) Memory Corrected Error Enabling=00 // *00 (Disabled), 01 (Enabled) PCI-Ex Error Enable=00 // *00 (Disabled), 01 (Enabled) Memory Corr. Error Threshold=000A // Please enter the value in 4 hexadecimal digits. Default value is <<<000A>>> Erase Event Log=00 // *00 (No), 01 (Yes, Next reset), 02 (Yes, Every reset) When Log is Full=00 // *00 (Do Nothing), 01 (Erase Immediately) Log System Boot Event=00 // 01 (Enabled), *00 (Disabled) MECI=01 // Please enter the value in 2 hexadecimal digits. Default value is <<<01>>> METW=3C // Please enter the value in 2 hexadecimal digits. Default value is <<<3C>>> [IPMI|System Event Log] SEL Components=01 // 00 (Disabled), *01 (Enabled) Erase SEL=00 // *00 (No), 01 (Yes, On next reset), 02 (Yes, On every reset) When SEL is Full=00 // *00 (Do Nothing), 01 (Erase Immediately) [Boot] Boot Mode Select=00 // 00 (LEGACY), 01 (UEFI), *02 (DUAL) UEFI Boot Order #1=0000 // *0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #2=0001 // 0000 (Hard Disk), *0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #3=0002 // 0000 (Hard Disk), 0001 (CD/DVD), *0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #4=0003 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), *0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #5=0004 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), *0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #6=0005 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), *0005 (USB Floppy), 0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #7=0006 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), *0006 (Network), 0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" UEFI Boot Order #8=0007 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), *0007 (UEFI AP), 0008 (Disabled) Boot Mode Select = "UEFI" Legacy Boot Order #1=0006 // *0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Legacy Boot Order #2=0007 // 0000 (Hard Disk), *0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Legacy Boot Order #3=0007 // 0000 (Hard Disk), 0001 (CD/DVD), *0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Legacy Boot Order #4=0007 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), *0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Legacy Boot Order #5=0007 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), *0004 (USB Key), 0005 (USB Floppy), 0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Legacy Boot Order #6=0007 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), *0005 (USB Floppy), 0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Legacy Boot Order #7=0007 // 0000 (Hard Disk), 0001 (CD/DVD), 0002 (USB Hard Disk), 0003 (USB CD/DVD), 0004 (USB Key), 0005 (USB Floppy), *0006 (Network), 0007 (Disabled) Boot Mode Select = "LEGACY" Dual Boot Order #1=0008 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), *0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #2=0009 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), *0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #3=000A // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), *000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #4=000B // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), *000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #5=000C // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), *000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #6=000D // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), *000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #7=000E // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), *000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #8=0000 // *0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #9=0001 // 0000 (UEFI Hard Disk), *0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #10=0002 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), *0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #11=0003 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), *0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #12=0004 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), *0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #13=0005 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), *0005 (UEFI USB Floppy), 0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #14=0006 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), *0006 (UEFI Network), 0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL" Dual Boot Order #15=0007 // 0000 (UEFI Hard Disk), 0001 (UEFI CD/DVD), 0002 (UEFI USB Hard Disk), 0003 (UEFI USB CD/DVD), 0004 (UEFI USB Key), 0005 (UEFI USB Floppy), 0006 (UEFI Network), *0007 (UEFI AP), 0008 (Hard Disk), 0009 (CD/DVD), 000A (USB Hard Disk), 000B (USB CD/DVD), 000C (USB Key), 000D (USB Floppy), 000E (Network), 000F (Disabled) Boot Mode Select = "DUAL"
Acknolegment
The idkat machine was funded by a Grenoble INP project, led by the Mescal, Moais and Erods teams of of LIG.
