Install the cross compiling target: rustup target add aarch64-unknown-linux-gnu. Install the rest of the seL4 tools as instructed in the ...
確定! 回上一頁