Since z80e can run the TI-OS now, I plan to including actual Nspire support in the already-existing z80e codebase. I don't know how hard it will be, I didn't give it much thought yet. Also, this might or might not happen before a long time, since I am extremely busy with final exams and contests coming up in a few months.