This is a place dedicated to everything related to the Tinkertoy paper present at EMSOFT 2022.
Here are some useful links:
You can run the following custom kernels assembled for each device on QEMU or ARM FastModel.
Emulation companions:
- ARM FastModel (Subscription Required)
- Emulation Controller
Our journey never ends, because there remains much potential for Tinkertoy.
You can find the following sample code that demonstrates the core design concept of each module.
Note that constraints (C++20 concepts) are "ubiquitous". :)
- Scheduler
- Memory Allocator
- Architecture
- Execution State (Definition)
- System Call (Definition)
- Execution
- Execution State (Concepts)
- System Call (Concepts and Samples)
- Dispatcher
- Kernel Service Routines
- Task Control Block Components
- TinkerLibrary
All repositories in this organization are licensed under BSD-3-Clause unless otherwise stated.
Please refer to the LICENSE file in each repository for details.