I’m drawing a blank on it… makes me think of MK Linux, AKA MicroKernel Linux from the 90s, but I’m pretty sure they’re not related if this is Debian-based.
How can someone not know how to use Debian though? It was a pain when 1.0 was released, but these days installs just as easily as Mint….