Hey Festdewalkita,
Debian is not a form of linux, but an operating system that, among other kernels, can use the Linux.org kernel as kernel. The Hurd kernel is another kernel that Debian uses.
As explained above, Buildbotics is not a form of LinuxCNC, just as LinuxCNC is not a form of FANUC CNC mill controller.
At the moment, it seems I did not accomplish explaining well enough 