Commit 9252bb21 authored by Committed by Vikram Narayanan
test-v2: ipc1 example works.
Missing lcd_get_utcb function; added it. Another cptr_cache ABI issue - need to compile isolated code with padding flag; works now. Couple small bugs in microkernel (return value not initialized for certain error case).
Showing with 29 additions and 22 deletions