Revert "rtxen: working version!!  :)"

This reverts commit 8b32b0d7c26d93989cb40a62d206a86924acab18.