#!/bin/bash

mkdir -p /boot/efi/EFI/tools/

cp -f /boot/memtest86+/memtest86x64.efi /boot/efi/EFI/tools/shellx64.efi

echo "Memtest86+ successfully configured as shellx64.efi!"

