Write OS kernel based on Orang OS book