tree 4291de2c1486245553ab9e8ecb2f26d1c5e66262
parent 35d4cf0b9ac4e224bd9c6443db0489c5cb1e908c
parent 20fb2139bf2ba936c4f4c937e594cc9a4cea9169
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1607384253 +0000
committer GitHub <noreply@github.com> 1607384253 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfzry9CRBK7hj4Ov3rIwAAdHIIAE0Gz6ZAbBP7tE2ZPbMnzvzS
 63Or8xhMQyGIkWus3viaj+RlwvThofWhvuaKC2uovwzri/6LDtyp6+KOxIug0i+5
 /a7l4dfgTcRbxamB9d/pSir+RiURyhXyFt5kulQBG9UZwEyAHD2zG3b+5/FsTYsq
 ORKFPA3Gwj2cPszN7NuBPPnKLDtkB981WZPJAVyWNkh2s7UewrRbEnHWTd4dMV7s
 6GEq9hFDvvbCfEbavUHdV8hlqtOH0b1AORwAD0aj5Lj+C2L/+f6+wCSbqi9iVFqI
 YgWUIGB1vw+A7/NyZsVQCED1DgFnRuMusJmaio6UY6wKWuI5kLiCgGUBIx49fBs=
 =Yzxl
 -----END PGP SIGNATURE-----
 

Merge #262

262: Remove `libtock_platform::allows`. r=hudson-ayers a=jrvanwhy

Tock 2.0 system calls do not need the types in `allows`. Now that I'm reworking `libtock_platform` to use Tock 2.0 system calls, we can get rid of the module.

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