-
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).
9252bb21
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).