BadgerOS is a hobby operating system.
BadgerOS and its kernel are Licensed MIT and copyright of various people, mainly Julian Scheffers.
Recipes and patches for pkg-config, mlibc and GCC were partially copied from Menix.
Several packages will code that uses a different licence.
Jinx is licensed 2-clause BSD and copyright mintsuki.