Linux tinification effort: https://tiny.wiki.kernel.org/