Hi everyone,

Greetings,

 

I’m just started with seL4.

Current Progress: - I have built an application on top of seL4 as learning from tutorials, so this is my current design

 

seL4,My main_APP,App2,App1,App3
 

 

 

 

 

 

 

 


Here  My main_App is my main application build on seL4 and App1, App2 and App3 are sub components link with My main_App.( Just like in Tutorial 4 of seL4).

When i build and run , this is working fine, no issue with it.

when i run make command first i build kernel then libraries, then App1 , App2, App3, then My main_app and in the end it generate a single image file to execute.

 

My Question :- Can i dynamic load my sub components(App1, App2, App3) which is required by My_main_App in run time ? Can we do that in seL4 is yes then how ? i dont want my App1, App2 and App3 part of final image, I want to load them and run them separately using My_main _App?

 

Thank you in Advance,

Please Help.

 

Regards,

Aslam ALVI

 

 

 

 

 

 

#
" This e-mail and any attached documents may contain confidential or proprietary information. If you are not the intended recipient, you are notified that any dissemination, copying of this e-mail and any attachments thereto or use of their contents by any means whatsoever is strictly prohibited. If you have received this e-mail in error, please advise the sender immediately and delete this e-mail and all attached documents from your computer system."
#