Ck kernel wiki/Libraries