Pintos project
Follow this guide to setup the toolchain and environment Tips: * remember to downgrade XCode to at most version 11.3.1, otherwise you might have problems following the guide to setup the toolchain
Pintos project
Follow this guide to setup the toolchain and environment Tips: * remember to downgrade XCode to at most version 11.3.1, otherwise you might have problems following the guide to setup the toolchain