tower-aadl: sufficient OS and assembler to emit stubbed out user code