- do not use a hard-coded delay for early tx_tm_rtm_commit messages - instead use msg_queue
- do not use a hard-coded delay for early tx_tm_rtm_commit messages - instead use msg_queue

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror