tree d0635c412fa2441b31a5ba9b1f453fc7f4f5dbfa
parent 704272c989be40c29dd15b987068b49b90909553
parent 17513ebfa3a2ace2b69eeb47388691fcb67da02a
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1596655714 +0000
committer GitHub <noreply@github.com> 1596655714 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfKwhiCRBK7hj4Ov3rIwAAdHIIABQWl3qP/zYnm7G+nJQYSmpE
 uaNr5Lxzhy5Pj/D0n9OKC6F1ykjsBT9SR7lpNoUwtT85AdBIejjgAgNbN906RdPx
 SX6jsPH17kY4Nv/ODc5P3YndBVO3+9YD+p5HQvrQYKDkXjhGcxbSvanQqDgRs5wG
 bk4J1tZThaeMgRa0cUy2zs1tPmzvLJE3PMVtxLAudbx3/CLJk37faijIZj8A/NNk
 2JapsbvCaE6wE9ntvx9kK+XO/FoeWzmAWE1v02ZngSzZ6WDuRZfcgplyxy9Um5Um
 25R2n/7iT0mNkeryKSi2MSUPKIdH+2pPpnA/3oOmq7fxyBPhWFeBDElIroHyxgs=
 =Gk00
 -----END PGP SIGNATURE-----
 

Merge #222

222: Add the Allowed type to libtock_platform. r=hudson-ayers a=jrvanwhy

Allowed is the type that will be returned by `Platform::allow()` in the successful case. It represents a memory buffer shared with the kernel. It uses raw pointers and volatile writes to perform read/write accesses to the memory to avoid encountering undefined behavior.

This is the first step towards fixing #129 and #143.

Co-authored-by: Johnathan Van Why <jrvanwhy@google.com>