yes I know what I am about to ask is a loaded question...
but how do you change the default kernel in a full disk encrypted libreboot
device, for a debian based system linux-libre?
ps, not using trisquel at the moment but it is debian based.
and also, I tried using the libreboot.org instructions for debian/devuan but
I cannot seem to get the grub to work properly so that I automatically boot
without typing in commands... any idea how I can fix either of these
problems?
without obviously having to remove the FDE of course... ;)
