You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently there is only one entry point in Pancake, the cml_main function. For compatibility with the sel4cp, which requires at least an init function, and possibly a notified and protected functions to be exposed for sel4cp, having multiple entry points would allow for more code to stay in pancake rather than foreign C code.
The text was updated successfully, but these errors were encountered:
Currently there is only one entry point in Pancake, the cml_main function. For compatibility with the sel4cp, which requires at least an init function, and possibly a notified and protected functions to be exposed for sel4cp, having multiple entry points would allow for more code to stay in pancake rather than foreign C code.
The text was updated successfully, but these errors were encountered: