diff options
author | Eduardo Julian | 2019-07-05 22:44:24 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-07-05 22:44:24 -0400 |
commit | 46e037ea7e88c8b058311ee384f0aa81582028c5 (patch) | |
tree | 47836c7e291a6bfc1012630917106ebe58ce98fb /documentation/research/operating_system.md | |
parent | 024bdae2c36b21e3d51f866179556bc8fbe86475 (diff) |
WIP: Method compilation.
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/) |