os.c: left a declaration out..
Startup.s: inserted some comments and fixed the placing of ISB instructions (need to go after stack change instead of before)