Re: [Trisquel-users] BIOS settings not found

[gnufreeme]

Try powering off and hitting "F4" over and over during reboot.

I think F4 is the hard reset for Samsung.