News for hackers. Stuff that matters.

A comment on Unsoundness in Pin. Parent comment

Re:Unsoundness in Pin by __s on Friday November 29, 2019 @09:25PM (#21668127)
Capsules aren't allowed to use unsafe. The target of tock is not generally going to be out of order, so spectre things shouldn't occur
[ Parent | on HN ]
Re:Unsoundness in Pin by staticassertion on Friday November 29, 2019 @10:14PM (#21668291)
Is there a doc about that? Can they also not use external crates? Very curious.
[ Parent | on HN ]
Re:Unsoundness in Pin by __s on Saturday November 30, 2019 @12:58PM (#21671219)
There's a blog post https://www.tockos.org/blog/2017/crates-are-not-safe

Lots of example code https://github.com/tock/tock/tree/master/capsules

[ Parent | on HN ]
Re:Unsoundness in Pin by staticassertion on Saturday November 30, 2019 @04:42PM (#21672294)
Thank you.
[ Parent | on HN ]