Compiling E: Phases of Transformations

[Ken Kahn]

From: "Mark S. Miller" <markm@caplet.com>
>
> Language:        Kernel-E -- portable interface from virtual machine
>                         The subset of Auditable-E that passes audit.  Seen
>                         by debuggers and other meta-level tools.
>

Everything you wrote made sense to me until I saw "debuggers" here. Wouldn't
someone want to debug at the level of User-E and not Kernel-E? Doesn't the
ability to debug make this whole transformation scheme much more
complicated?

Best,

-ken