From ffb65e6d9e90d9124f52680f7f98f57270ebf110 Mon Sep 17 00:00:00 2001 From: Ekaitz Zarraga Date: Thu, 20 Jun 2024 23:55:22 +0200 Subject: Add reference to 3L --- Proposal.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Proposal.md') diff --git a/Proposal.md b/Proposal.md index ebb07fc..99fa7b5 100644 --- a/Proposal.md +++ b/Proposal.md @@ -107,6 +107,10 @@ Why not a unified permission system? seL4 => uses identifiers as keys for the capabilities +3L project[@3L:Hintz] => many ideas are the same that we have but it doesn't +embrace the language in the sense it affects how the processor is built (to +help the interpreter). It's written in pre-scheme instead. + Use an interpreted language and give capabilities as functions in an environment: they can be mocked! Or manipulated! Or executed remotely in a distributed fashion! -- cgit v1.2.3