This reminds me of a kind of similar academic(?) project that at the very least had a custom C compiler alongside a custom OS… I can’t remember what it is offhand though.