build_sdk.py fails to build monitor

[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?

[bennoleslie]

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 <seL4/seL4-CAmkES-L4v-dockerfiles#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 <#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]

Resolved in #13