On 09/27/2013 01:19 PM, Dave Jones wrote:
>
> Either that or 'bios'. The question I have is, of those marked 'bios', does
> =pci
> work too ? If we knew that was true, I'd probably say yes.
>
Who knows. reboot=bios used to only work on 32 bits until very recently.
-hpa
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
