os32

os32: a basic os.