On 9 Nov 2018, at 08:42, Jeff Waugh <[email protected]<mailto:[email protected]>> wrote:
Out of interest, what's the reason for the different approaches? Historic. One was designed without planning for the other (time pressure), not our proudest moment(s). Things are being reworked… Gernot
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
