Add sel4-deps for macOS, style the build_sdk now#579

midnightveil merged 2 commits into

mainseL4/microkit:mainfrom

julia/python-styleseL4/microkit:julia/python-styleCopy head branch name to clipboard