Java OS kernel repo