I have read your whitepapers very carefully and I believe that the
approach is feasable. This looks like a great project, I would definitely
be interested in joining the effort.
This approach appears to handle some of the weaknesses of the RTLinux
method; namely that a binary module can still contain the cli/sti
instructions and destroy the determinism. In fact, even a user mode
program with root permissions can do the same. The best example is
some of the X servers.
One comment on implementation; you may have to filter some of the in/out
instructions to virtualize the timers. Most operating systems will want
to control those to some extent.
Wm