This page describes a list of projects I'm either helping mentor, drafting up myself as ideas, reviewing or hacking on.
Things I maintain or help co-maintain, used to keep tabs on things which I need TODO, have done, or get a sense if I need to let go of something or find someone to help take over.
LBS -- ongoing
kernel Kconfig SAT solver integration -- long term
Generic Linux SAT solver prospects -- even more long term
linux-oven -- long term
kernel sandboxing -- long term