> HongMeng Kernel

Wait do they mean this Hong Meng?

https://en.wikipedia.org/wiki/Hong_Meng

If so, this is one of the funniest parts of Zhuangzhi.