-
Documentation in Documentation/lcd-domains/... Loading, mapping, and running a module is working correctly, using all of the capability code that interposes on each operation (mapping, freeing pages, etc.). cptr allocation and indexing into cspaces is working correctly. IPC testing and debugging is coming next.
664628a4