Hi Dr Peter Chubb:
Although I can't find the 14.0 gcc in the riscv toolchain github, my seL4test can work with 11.1 gcc now. Thank you very much! _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
