44a45,46
> void startup();
>
47a50,52
> /// A page to hold "kernel" provided functions. The name might be wrong.
> static const Addr commPage;
>