<p dir="ltr">Which is the best Linux based os to be worked on with coreboot?</p>