tree 953f244903e68eba176dcad2f25e8f3ec4e4a32a
parent 6b143cbd86dde9f5cba817adc9875b17d893290c
author Johnathan Van Why <jrvanwhy@google.com> 1611942126 -0800
committer Johnathan Van Why <jrvanwhy@google.com> 1611942126 -0800

Core WG meeting 2021-01-29 conclusion: document that `RawSyscalls`' methods should only be called by `libtock_platform`.

This is to reduce the amount of churn caused by changes to `RawSyscalls`, in anticipation of future changes to support 64-bit platforms.