tree e514742a677befe3662366087a0c71464bdd0bc4
parent 039d022ad6ec62e3a8fa550e860d9ea9af83d3ff
parent 7ca6f1b27a4679470b6e4f92f32da246afb49e1b
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1596636356 +0000
committer GitHub <noreply@github.com> 1596636356 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfKrzECRBK7hj4Ov3rIwAAdHIIAJpHYsFv88gudpNfCtnfnWx+
 qNVrrrWgLkBY8mrhb1LvgkXEgrE9ny+7vUHymRcim8v17HyvFpbylwvUPcd6Qn2d
 i/OeFVONpofGI1bBdXvMKjhbY55q9Ib8u4Mdkgyyn9BLxNQCimGJC55CGdhClJpZ
 WOSUSi8YjYibh42kZjYncZMDKDDPv+37997nhDqFoTUOLliCRcDwAdHyj6UPiIxW
 7N4A7YE6dYRJoEmuLZGuywKPY90yvs9Um7g+GBtzwicq/M8tMCyFjQlsV5kI5m42
 7VZbC4upxvklxdLSltgVi+h8gEHJ0zrAAHaF59LfSVj+zwM0W+/T+41a/QNgKC0=
 =3sr5
 -----END PGP SIGNATURE-----
 

Merge #221

221: Add the `Syscalls` trait to `libtock_platform`. r=hudson-ayers a=jrvanwhy

`Syscalls` is a trait representing Tock's system call API. It will be implemented by both `libtock_runtime` (included by TBF binaries) and `libtock_fake` (included by unit tests). It will allow us to replace the real Tock kernel with a fake Tock kernel for testing purposes.

`Syscalls` is designed to introduce no overhead over the system call assembly logic. For `allow`, `command`, and `subscribe`, it is based on Tock's `Driver` trait. A higher-level interface over Tock's system calls, for use by `libtock_core` and client code, will be introduced in a later PR.

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