ci: update to GCC-12 and use macos-14

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

Other

23 stars 18 forks source link

ci: update to GCC-12 and use macos-14 #268

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago

macos-12 is deprecated, we don't have aarch64-none-elf version 11 for macOS on Apple Silicon which is what macos-14's environment is. For this reason, we have to update GCC while also updating the macOS version.

Homebrew now packages LLD in a separate package, so we have to install that as well.