diff options
author | Eduardo Julian | 2022-04-06 21:52:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-04-06 21:52:30 -0400 |
commit | b0d725f24335e82eefc77175efc0a5282951316e (patch) | |
tree | 18a5cc4b318776250442311636a415a5cc2c1f20 /documentation/bookmark/operating_system.md | |
parent | a0ed5fd377daf5754697636504de8e180abf9ec0 (diff) |
More efficient binary formatting.
Diffstat (limited to 'documentation/bookmark/operating_system.md')
-rw-r--r-- | documentation/bookmark/operating_system.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/operating_system.md b/documentation/bookmark/operating_system.md index 9c96dbc5b..4b1b90904 100644 --- a/documentation/bookmark/operating_system.md +++ b/documentation/bookmark/operating_system.md @@ -19,6 +19,7 @@ ## Operating system +0. [Phantom - forward-thinking concept of OS that's not Linux derived](http://phantomos.org/) 0. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/lispos.pdf) 0. [CLOSOS: Specication of a Lisp operating system.](http://metamodular.com/closos.pdf) 0. https://medium.com/@jasonyuan/introducing-mercury-os-f4de45a04289 |