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."
#

Attachment: image010.emz
Description: image010.emz

Attachment: image011.emz
Description: image011.emz

Attachment: image012.emz
Description: image012.emz

Attachment: image013.emz
Description: image013.emz

Attachment: image014.emz
Description: image014.emz

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to