https://123dok.net/document/zlg14mkg-design-implementation-heterogeneous-multikernel-operating.html