diff options
Diffstat (limited to 'documentation/research/operating_system.md')
-rw-r--r-- | documentation/research/operating_system.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md index ec9ea3678..74d5f33f6 100644 --- a/documentation/research/operating_system.md +++ b/documentation/research/operating_system.md @@ -1,3 +1,7 @@ +# Code-generation + +1. [It’s Time for a Modern Synthesis Kernel](https://blog.regehr.org/archives/1676) + # Intepreter 1. [Jitk: A Trustworthy In-Kernel Interpreter Infrastructure](https://css.csail.mit.edu/jitk/) |