bennoleslie
commented
2 years ago Thanks for trying it out.
Can you please provide the output you received to assist in resolving the issue.
Thanks!
On Tue, 7 Dec 2021 at 07:00, Nataliya Korovkina @.***> wrote:
After making all the upgrades mentioned in build instructions build instructions https://github.com/BreakawayConsulting/sel4cp/blob/main/README.md#developer-system-requirements build_sdk.py still fails to build monitor. The reason is that cmake doesn't install required sel4 headers and kernel.elf to where they are expected to be.
The issue was observed while running the script in updated Docker container submitted recently https://github.com/seL4/seL4-CAmkES-L4v-dockerfiles/pull/42
Do you have updated an build_sdk.py script? kernel scripts?
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/BreakawayConsulting/sel4cp/issues/5, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACLKJ24EDSLFWKEFDW62GTUPUI6DANCNFSM5JPPTBSA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.
malus-brandywine
After making all the upgrades mentioned in build instructions build instructions build_sdk.py still fails to build monitor. The reason is that cmake doesn't install required sel4 headers and kernel.elf to where they are expected to be.
The issue was observed while running the script in updated Docker container submitted recently
Do you have updated an build_sdk.py script? kernel scripts?