On Tue, May 25, 2021 at 05:21:43PM +0200, Jan Beulich wrote: > On 25.05.2021 16:39, Roger Pau Monné wrote: > > On Fri, Apr 30, 2021 at 04:45:03PM +0200, Jan Beulich wrote: > >> @@ -31,7 +31,7 @@ config SCHED_ARINC653 > >> > >> config SCHED_NULL > >> bool "Null scheduler support (UNSUPPORTED)" if UNSUPPORTED > >> - default y > >> + default PV_SHIM || DEBUG > > > > Do we need the pvshim_defconfig to set CONFIG_SCHED_NULL=y after this? > > I don't think so, the default will be y for it. Explicit settings > are needed only when we want a non-default value.
Right, I think I haven't expressed myself correctly. I wanted to point out that I think CONFIG_SCHED_NULL=y is no longer needed in the pvshim_defconfig. Thanks, Roger.
