Tock 1.6
This is a belated release, but this tag marks libtock-c that is compatible with Tock kernel 1.6.
We need this before we switchover to 2.0 syscall ABI.
This is a belated release, but this tag marks libtock-c that is compatible with Tock kernel 1.6.
We need this before we switchover to 2.0 syscall ABI.