layer functions updated
layer update 2
examples/rtems-guest/model.aadl
bsp interrupt code to switch to user space: copy interrupt frame to user stack, prepare user stack for function call, prepare segment registers, prepare kernel stack for iret, prevent memory leaks