amd64 kernel

When the VirtualBox bugs (ticket about the guest additions, Debian bug about the host software with 32-bit userspace + 64-bit kernel are fixed, reconsider shipping an amd64 kernel, and replacing sdmem with memtest.

Until then, ship a amd64 kernel, don’t boot it, only use it for kexec’ing to memtest.

No. Let’s wait for feature/hugetlb_mem_wipe to be merged. If we’re happy with it, we can avoid moving to memtest.

Feature Branch: feature/amd64-kernel

Related issues

• Related to #5606 (closed)
• Related to #5342 (closed)
• Blocks #5739 (closed)

Original created by @tails on 5456 (Redmine)