News for hackers. Stuff that matters.
Re:GERT: Run Go on Bare Metal ARMv7 by josefx on Tuesday June 20, 2017 @07:21AM (#14593617)
and JavaCard 1.0 wants to know what a GC is. No need to throw away perfectly fine objects.
Re:GERT: Run Go on Bare Metal ARMv7 by nickpsecurity on Tuesday June 20, 2017 @01:51PM (#14596842)
A few of it's family members will even proof mathematically that they won't throw those objects away.

https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404.pd...

http://www.cs.nott.ac.uk/~pszgmh/appsem-slides/barthe.pdf