vkernel manager

[Aggelos Economopoulos]

On Saturday 09 February 2008, Nuno Antunes wrote:
[...]
> Could you also add a:
> vkernmgr gdb-run test  ;)

Sure, I think both gdb (for an already running vkernel) and gdb-run are
needed. Will do later today/tomorrow.

Thanks,
Aggelos