Jan Kiszka wrote: > Hi, > > I'm sure now that the native registry is mandatory as soon as > CONFIG_XENO_OPT_PERVASIVE is selected. This patch enforces the selection > in such a scenario.
Applied, thanks.
--
Gilles Chanteperdrix.
