lol that worked. turns out one does indeed simply install arch linux. just boot the iso and run `archinstall` 😆