On Thu, Apr 08, 2021 at 12:02:23PM +0200, Gerd Hoffmann wrote:
> Hi,
>
> > > > > Add a config option for fast device init (i.e. skip non-bootable
> > > > > devices). This optimization breaks boot in some rare configurations,
> > > > > specifically in case the boot loader needs access to seconda
Hi,
> > > > Add a config option for fast device init (i.e. skip non-bootable
> > > > devices). This optimization breaks boot in some rare configurations,
> > > > specifically in case the boot loader needs access to secondary disks.
>
> Unfortunately, I missed the initial email due to seabios m
On Fri, Mar 26, 2021 at 09:52:49AM +0100, Gerd Hoffmann wrote:
> On Tue, Mar 23, 2021 at 04:31:41PM +0100, Paul Menzel wrote:
> > Dear Gerd,
> >
> >
> > On 2021-03-23 15:18, Gerd Hoffmann wrote:
> > > Add a config option for fast device init (i.e. skip non-bootable
> > > devices). This optimizat
On Tue, Mar 23, 2021 at 04:31:41PM +0100, Paul Menzel wrote:
> Dear Gerd,
>
>
> On 2021-03-23 15:18, Gerd Hoffmann wrote:
> > Add a config option for fast device init (i.e. skip non-bootable
> > devices). This optimization breaks boot in some rare configurations,
> > specifically in case the boo
Dear Gerd,
On 2021-03-23 15:18, Gerd Hoffmann wrote:
> Add a config option for fast device init (i.e. skip non-bootable
> devices). This optimization breaks boot in some rare configurations,
> specifically in case the boot loader needs access to secondary disks.
Thank you for the patch. Could y
