The documentation describes only the interface defined and used by the Dynacube Operating System. The implementation of these interfaces can be found in the source code that can be downloaded from here.