What I'd like:
I'd like to move kernels into their own kit, separate from the core kit. They don't require any of the userspace libraries or programs built in the rest of the core kit, and they're a key driver of lengthy build times.
Pros:
Faster builds, both in the core kit and the new kernel kit repo. This helps CI and local development.
Decoupled release cycle: core kit releases don't have to come out as often as kernel kits.
Cons:
Two repositories to update to newer SDK releases.
Two kits to release and update in downstream projects.
What I'd like: I'd like to move kernels into their own kit, separate from the core kit. They don't require any of the userspace libraries or programs built in the rest of the core kit, and they're a key driver of lengthy build times.
Pros:
Cons:
What's in scope:
I'm on the fence about selinux-policy, but I think it's OK for it to stay in the core kit.
Any alternatives you've considered: Status quo.