[nickpsecurity]

Which might be a Scheme CPU formally derived and verified via LISP-based tech:

https://www.cs.indiana.edu/pub/techreports/TR413.pdf

Or recently this way:

http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf

Interesting enough, the primitive versions of LISP that aren't high-performance (i.e. advanced compilers) could probably be done by hand in hardware where the whole thing was bootstrapped up with LISP-only tech. The LISP would start/stop at the abstract, state machines or RTL of the bootstrapped version.

EDIT: Good luck on making it through the hurricane. Feel for yall out there.