17:03:49salotz[m]If you haven't seen it I would suggest looking at Genode as an operating system substrate for a LispOS https://genode.org/
17:04:02salotz[m]at least thats my fantastical plan of action :P
17:17:35salotz[m]I recently found this proposal which could address some issues like crash proofness: https://ambients.org/
17:18:55salotz[m]it is essentially a distributed virtual machine based on a safe version of the ambient calculus restricted to have only pure total functions.
17:24:30salotz[m]I really like the object store design. I have been thinking along a similar line of having objects identified by patterns kind of like a tuple space