Re: Kernel selection in Lua loader

2018-02-21 Thread Kyle Evans
On Wed, Feb 21, 2018 at 12:18 PM, Rodney W. Grimes wrote: >> On Wed, Feb 21, 2018 at 6:11 AM, Kyle Evans wrote: >> > On Wed, Feb 21, 2018 at 6:36 AM, David Wolfskill >> > wrote: >> >> >> >> ... >> >> kernels="kernel kernel.old kernel.save" >> >> >> >> and the Forth loader presented (precisely)

Re: Kernel selection in Lua loader

2018-02-21 Thread Rodney W. Grimes
> On Wed, Feb 21, 2018 at 6:11 AM, Kyle Evans wrote: > > On Wed, Feb 21, 2018 at 6:36 AM, David Wolfskill > > wrote: > >> > >> ... > >> kernels="kernel kernel.old kernel.save" > >> > >> and the Forth loader presented (precisely) those kernels as the > >> available options for selecting a kernel

Re: Kernel selection in Lua loader

2018-02-21 Thread Conrad Meyer
On Wed, Feb 21, 2018 at 6:11 AM, Kyle Evans wrote: > On Wed, Feb 21, 2018 at 6:36 AM, David Wolfskill wrote: >> >> ... >> kernels="kernel kernel.old kernel.save" >> >> and the Forth loader presented (precisely) those kernels as the >> available options for selecting a kernel to load and boot. >>

Re: Kernel selection in Lua loader

2018-02-21 Thread Kyle Evans
On Wed, Feb 21, 2018 at 6:36 AM, David Wolfskill wrote: > The Lua loader appears to be using a mechanism other than the > "kernels=..." specification in /boot/loader.conf to slect potential > kernels to load. I'm not claiming this is "bad" -- just "different." > > I noticed because I sometimes bu