search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

Add dependencies to README #104

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

Mistakenly force-pushed which resulted in https://github.com/seL4/microkit/pull/102 getting automatically closed by GitHub. Re-opening with @wom-bat's changes as well as some of my own that I wanted to make in the same PR.

Closes #6

Ivan-Velickovic commented 4 months ago

I've added instructions for building on macOS now that the SDK supports it. Thanks for the patches @wom-bat.