Comment by BoardsOfCanada

Can someone tell me how much these microkernels are used and where?