• Charlie Jacobsen's avatar
    Except IPC, kliblcd fully tested. Everything is working. · 664628a4
    Charlie Jacobsen authored
    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
Name
Last commit
Last update
..
kvm Loading commit data...
lcd Loading commit data...
lcd-domains Loading commit data...
lib Loading commit data...
Kconfig Loading commit data...
Makefile Loading commit data...