mORMot Open Source

I came across sel4 because cyber security is becoming more and more important and is already a big problem today and is becoming more so.

Software probably always contains bugs and great software more. This is also true for operating systems, which seem to be very critical for cyber security. Seems to apply to both Windows and Linux, although as open source it is arguably ahead - but doesn't change much of the underlying plight. 

This is where sel4 comes in. It runs over me more and more often with my question which direction the development could take against this background in the future, possibly with the open RISC V development.   

For me personally it is also interesting that at the beginning of my interest in practical IT concepts I encountered the predecessor of sel4 in the early 80's - in Germany at that time a school operating system called EUMEL with the teaching language ELAN with nice features.     

If I understand correctly, sel4 has deliberately no functions or services except for the interprocess communication (IPC) combined with the capability access concept (caps) for all resources. Highest provable security with maximum speed is achieved in such a way (i.e. a speed loss for built-in security under 10%). All other OS services, so also the network stack are not in the kernel but in the user space.

In this respect I can understand that it makes sense to run Linux or BSD on sel4 to have all other necessary OS services available.
Since in my impression mORMot and Object Pascal (FPC) cover a very wide range from the very bottom to the very top consistently and it gets on my nerves that everything innovative goes in the direction of cyber security here in C, Python, Java & Co I thought it worth asking whether something could not be done here with reasonable effort.

Hi Arnaud,

Does it then make sense to use such an event based approach with mORMot instead of the thread based approach, or are the practical requirements still missing and would have to be created first ?

If the framework would have to create these prerequisites, how much work would that be and would it be worth it ?   

Just to understand the background.