synit
/
synit-manual
1
0
Fork 0
Code Issues 2 Pull Requests Projects Releases Wiki Activity
The synit manual
64 Commits 1 Branch 0 Tags 578 KiB
Rust 48.9%
TypeScript 30.5%
Python 18.6%
Makefile 1.3%
CSS 0.7%
Go to file
Tony Garnock-Jones d8ea641baf Note re: qemu-user-static and binfmt 2022-07-22 10:12:48 +02:00
src Note re: qemu-user-static and binfmt 2022-07-22 10:12:48 +02:00
.envrc Specify python3 2022-03-09 11:34:13 +01:00
.gitignore Add __pycache__/ to .gitignore 2022-03-09 09:49:58 +01:00
Makefile deploy target 2022-03-09 11:25:42 +01:00
README.md README.md 2022-03-09 09:53:05 +01:00
book.prb Ditaa-based diagrams 2022-02-11 13:43:39 +01:00
book.prs Ditaa-based diagrams 2022-02-11 13:43:39 +01:00
book.toml Pseudocode mdbook plugin 2022-03-03 19:31:37 +01:00
mdbook-ditaa Repair mdbook-ditaa plugin for `mdbook build` usage 2022-03-09 09:58:02 +01:00
mdbook-pseudocode Tweak spacing 2022-03-04 10:47:47 +01:00
mdbook_plugin.py Pseudocode mdbook plugin 2022-03-03 19:31:37 +01:00
style.css Pseudocode styling, to make it less painful on mobile browsers 2022-03-03 17:26:43 +01:00

README.md

Synit Manual

Welcome!

Synit is an experiment in applying pervasive reactivity and object capabilities to the System Layer of an operating system for personal computers, including laptops, desktops, and mobile phones.

This is the manual for the system.

Acknowledgements

Much initial work on Synit was made possible by a generous grant from the NLnet Foundation as part of the NGI Zero PET programme. Please see "Structuring the System Layer with Dataspaces (2021)" for details of the funded project.

Copyright and License

Creative Commons License This manual is licensed under a Creative Commons Attribution 4.0 International License.
Copyright © 2021–2022 Tony Garnock-Jones tonyg@leastfixedpoint.com.

The Synit programs and source code are separately licensed. Please see the source code for details.