konoha-project/minikonoha — pull request #381 by tetsurom (2013-01-24 20:48:32+00:00)
Title: Add VM switching API.

Add VM switching API.
To switch to MiniVM, call this.
* SUGAR kNameSpace_UseDefaultVirtualMachine(kctx, ns)