History log of /seL4-camkes-master/tools/rumprun/buildrump.sh.patches/0001-Use-the-correct-FP-macro-for-ARM.patch
Revision Date Author Comments
# 24233c95 13-Jul-2018 Damon Lee <Damon.Lee@data61.csiro.au>

Add buildrump.sh patch to use correct FP macro for ARM