JoelJaeschke

# Set environmental vars like which disk to install to
DISK="/dev/nvme0n1"
RELEASE=40

# Become root and disable SELinux
sudo -i -u root
setenforce 0

# Reset partition table and create new one
wipefs -a $DISK

JoelJaeschke

JoelJaeschke

Convert Debian to use EFI Stub

This is a manual to convert a Debian installation to use EFI Stub for booting instead of relying on a conventional bootloader like GRUB. When used in conjunction with a unified kernel image, it is easy to sign kernel images and encrypt everything except the EFI boot partition while Secure Boot takes care of checking the kernel signature.

Necessary dependencies

Installation is easier on a minimal system as less things can break. Note that this manual is intended for a fresh installation and not for converting your system, although that should be possible the same way. To make things easy, install your system as if you were going to use it normally.

JoelJaeschke

(module
  (func $f (param $x f32) (result f32)
    ;;function f(x) = x^2
    get_local $x
    get_local $x
    f32.mul
  )

  (func (export "integrate") (param $ss f32) (param $start f32) (param $end f32) (result f32)
    (local $sum f32)