A simple OS which will run on jz2440