On 11/13/15 15:10, David Chisnall wrote:
Note that this is not true of all downstreams. We currently have 128 and
256-bit void*s with 64-bit longs on CHERI, and I believe that bde’s version has
32-bit longs on all platforms.
David
Hi David,
Converting the LinuxKPI to use uintptr_t instead of "unsigned long" is
possible, though it affects several modules depending on the LinuxKPI
which needs auditing, for this kind of issues. For now the LinuxKPI
should not be built for CHERI. Sorry about the inconvenience.
Will a CHERI build warn if you cast from "long" to "void *"? Then
cleaning up the code with this regard might be a very simple and
straight forward task.
--HPS
_______________________________________________
svn-src-all@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"
