Allow building the SDK with a custom toolchain prefix · seL4/microkit@9d41ba1

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.

cmake 3.30.5 is already installed and up-to-date. To reinstall 3.30.5, run: brew reinstall cmake

dtc 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall dtc