tree 48df1b943becc301cd951d4031aefa3c3c2d0612
parent 2f39ff47ac1e8d7649266b8473c31d48a7275417
author Johnathan Van Why <jrvanwhy@google.com> 1606621506 -0800
committer Johnathan Van Why <jrvanwhy@google.com> 1606621506 -0800

Remove `libtock_platform::allows`.

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.