Well it's BEAM/OTP on Linux presently, but I intend to look at what running a pickled, single-binary on a microkernel might buy me, etc. That said, not using. SeL4 directly.

And, yes, in re: semantic layer, I have't talked bout that part much, yet, but given my experience at Stardog(.com), I've implemented a lakehouse+documents layer that extends convention agentic memory tiers (working, semantic, episodic, procedural) with what I call "institutional" memory, i.e., what an invoice reconciliation agent, say, needs to know from C360 data sources, etc.