The port is only in prototype stage and according torelease notes “currently only supports running in 64-bit mode without FPU or multicore support on the Spike simulation platform.” “There is no ...