Are you intending to ship a (close to) mainline kernel, or a Board Support Package (BSP)/vendor kernel and make it work with a libhybris/Halium approach?
We’ll go with bare-metal Linux—no Halium, no libhybris. We want to stay as close to mainline as possible and actively contribute upstream.
That’s the intent, at least: