On Fri, Apr 26, 2013 at 11:34:24PM +0200, Dominik Dingel wrote:
> On Fri, 26 Apr 2013 22:13:14 +0300
> Gleb Natapov wrote:
>
> > On Fri, Apr 26, 2013 at 01:55:23PM -0500, Anthony Liguori wrote:
> > > Dominik Dingel writes:
> > >
> > > > On Fri, 26 Apr 2013 11:36:11 -0500
> > > > Anthony Liguori
On Fri, 26 Apr 2013 22:13:14 +0300
Gleb Natapov wrote:
> On Fri, Apr 26, 2013 at 01:55:23PM -0500, Anthony Liguori wrote:
> > Dominik Dingel writes:
> >
> > > On Fri, 26 Apr 2013 11:36:11 -0500
> > > Anthony Liguori wrote:
> > >
> > >> Dominik Dingel writes:
> > >>
> > >> > Currently only de
On 26/04/13 20:01, Dominik Dingel wrote:
> On Fri, 26 Apr 2013 11:36:11 -0500
> Anthony Liguori wrote:
>
>> Dominik Dingel writes:
>>
>>> Currently only devices with a positive boot index will be pushed in the
>>> fw_boot_order queue, so if no boot index at all will be specified,
>>> the queue e
On Fri, Apr 26, 2013 at 01:55:23PM -0500, Anthony Liguori wrote:
> Dominik Dingel writes:
>
> > On Fri, 26 Apr 2013 11:36:11 -0500
> > Anthony Liguori wrote:
> >
> >> Dominik Dingel writes:
> >>
> >> > Currently only devices with a positive boot index will be pushed in the
> >> > fw_boot_order
Dominik Dingel writes:
> On Fri, 26 Apr 2013 11:36:11 -0500
> Anthony Liguori wrote:
>
>> Dominik Dingel writes:
>>
>> > Currently only devices with a positive boot index will be pushed in the
>> > fw_boot_order queue, so if no boot index at all will be specified,
>> > the queue ends up empty.
On Fri, 26 Apr 2013 11:36:11 -0500
Anthony Liguori wrote:
> Dominik Dingel writes:
>
> > Currently only devices with a positive boot index will be pushed in the
> > fw_boot_order queue, so if no boot index at all will be specified,
> > the queue ends up empty.
> >
> > Instead we push exactly as
Dominik Dingel writes:
> Currently only devices with a positive boot index will be pushed in the
> fw_boot_order queue, so if no boot index at all will be specified,
> the queue ends up empty.
>
> Instead we push exactly as docs/bootindex.txt says the devices with
> the lowest possible boot prior
On 26.04.2013, at 14:12, Dominik Dingel wrote:
> Currently only devices with a positive boot index will be pushed in the
> fw_boot_order queue, so if no boot index at all will be specified,
> the queue ends up empty.
>
> Instead we push exactly as docs/bootindex.txt says the devices with
> the l
Currently only devices with a positive boot index will be pushed in the
fw_boot_order queue, so if no boot index at all will be specified,
the queue ends up empty.
Instead we push exactly as docs/bootindex.txt says the devices with
the lowest possible boot priority at the tail of the queue,
becaus