[seL4] Question about extensibility

[1plus.yijia--- via Devel]

One the advantages of microkernel is the extensibility of user space 
components; however, doesn't the static system design eliminate this advantage? 
Do I miss something? I wonder if it possible to only recompile a component and 
replace an older one; if yes, if it possible to replace it in runtime.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems