OS kernel development experiments