K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2019-10-14T17:36:47.068379Z
K 7
svn:log
V 235
Exclude from 32-bit systems.

While it may build on some, no one is likely to develop CHERI software
from a 32-bit platform (maybe with exception of an armv7 SoC on an
FPGA and we can enable the build there that if that ever happens).

END