TinyCSE: Tiny Computer System for Education