[seL4] Re: Soft-float problem happens when building seL4test using riscv64-unknown-linux-gnu-gcc toolchain

A patch has just been merged that may fix this. The problem was https://github.com/seL4/seL4/issues/749 --- not all the places that need the flag change were found. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.