mirror of https://github.com/seL4/microkit.git
41cbb7b2de
The only change necessary to update from GCC 10 to GCC 12 is that the option `-g3` needs to be `-g` instead. Why do we have to update to GCC 12? The main motivation is to have the toolchain available for macOS Apple Silicon hosts that want to build the Microkit SDK from source. The toolchain for Apple Silicon hosts is only available from GCC 12 and above. Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au> |
||
|---|---|---|
| .. | ||
| capfault | ||
| overlapping_pages | ||
| simplemrs | ||