https://digitalixy.com/tech/maude/190773/htg-explains-whats-the-difference-between-linux-and-bsd/