There is a very complete Virtual Machine Low-Level Debugger,
but not documented. You can play with it if you wants, but remember
it was developed for VM elaboration only.
If you consider it from a theoretical point of view,
in association with the auto-compiler written in scheme, it might be
a quite good support for a course on Compiler Systems.
Ask us for it if you are interested.