| b15c0ef2 |
kernel: Allow dropping capabilities for dead domains |
Alexis Sellier |
|
| f5d37a5e |
kernel: Refresh queued terminal acknowledgements |
Alexis Sellier |
|
| 920f8fc3 |
kernel: Schedule retries for deferred timeouts |
Alexis Sellier |
|
| b6ea2575 |
kernel: Synchronize instructions before context execution |
Alexis Sellier |
|
| 3342aa20 |
kernel: Add system acceptance and invariant tests |
Alexis Sellier |
|
| 3cff2b05 |
kernel: Bootstrap user-space scheduling |
Alexis Sellier |
|
| fa787cc5 |
kernel: Complete preemptible runtime loading |
Alexis Sellier |
|
| 5e7ead57 |
kernel: Complete domain teardown and parenting |
Alexis Sellier |
|
| 92262c08 |
kernel: Deliver device interrupts |
Alexis Sellier |
|
| e654149f |
kernel: Complete cross-hart transactions |
Alexis Sellier |
|
| 8aaf2eee |
kernel: Start secondary harts |
Alexis Sellier |
|
| f2d48725 |
kernel: Implement wait, timeout, wakeup, and yield |
Alexis Sellier |
|
| 52449bef |
kernel: Manage additional execution contexts |
Alexis Sellier |
|
| a6324524 |
kernel: Connect the syscall ABI |
Alexis Sellier |
|
| 03e8c2d1 |
kernel: Dispatch contexts and enforce timers |
Alexis Sellier |
|
| 35dcc69b |
kernel: Implement time-window budgets |
Alexis Sellier |
|
| 8803c9dd |
kernel: Create domain instances |
Alexis Sellier |
|
| 57aa2748 |
kernel: Load trusted binary RIL |
Alexis Sellier |
|
| 066b2e8c |
kernel: Register global packages |
Alexis Sellier |
|
| 307f500b |
kernel: Implement event delivery |
Alexis Sellier |
|
| 2d5bac68 |
kernel: Implement capability transactions |
Alexis Sellier |
|
| 5a24e04e |
kernel: Allocate and split physical memory |
Alexis Sellier |
|
| 79aa6df5 |
kernel: Implement capability-table lookup |
Alexis Sellier |
|
| 17b40aa2 |
kernel: Save and restore trap contexts |
Alexis Sellier |
|
| 3661ec1f |
kernel: Boot from platform data |
Alexis Sellier |
|
| eb5c3d4d |
kernel: Add ABI types and bounded object storage |
Alexis Sellier |
|
| 50d813c0 |
rv64: Add kernel synchronization primitives |
Alexis Sellier |
|
| 7cf509a8 |
rv64: Return bounded code-generation failures |
Alexis Sellier |
|
| 7b0dbbf9 |
rv64: Generate shared package code |
Alexis Sellier |
|
| b83ecdff |
rv64: Support explicit native image placement |
Alexis Sellier |
|
| b06f8930 |
compiler: Emit separate binary RIL packages |
Alexis Sellier |
|
| f720761a |
il: Decode binary RIL programs |
Alexis Sellier |
|
| ccafc74d |
il: Encode binary RIL values and instructions |
Alexis Sellier |
|
| 0ea2981a |
kernel: Add the package and test targets |
Alexis Sellier |
|
| 56a00753 |
Support checked local references and disjoint field borrows |
Alexis Sellier |
|
| db5ee0c4 |
Support never-returning function signatures |
Alexis Sellier |
|
| ca4687c0 |
Fix assignment to qualified statics |
Alexis Sellier |
|
| c5ab32c8 |
Fix optional-to-union equality |
Alexis Sellier |
|
| a32f7985 |
Fix time output in `seed/update` |
Alexis Sellier |
|
| 24bcf96e |
vim: Fix `ras.vim` syntax |
Alexis Sellier |
|
| 27ce65c6 |
Enforce move semantics for safe mutable pointers |
Alexis Sellier |
|
| 3b15770b |
Create new seed from `cbc895e` |
Alexis Sellier |
|
| cbc895eb |
Lower record destructuring patterns |
Alexis Sellier |
|
| f5aa0434 |
Allow implicit raw-pointer borrows in unsafe contexts |
Alexis Sellier |
|
| 7397ed17 |
Require unsafe context for raw pointer patterns |
Alexis Sellier |
|
| 682efa21 |
Check pointer target mutability for writes |
Alexis Sellier |
|
| 65221249 |
Reject incompatible pointer coercions |
Alexis Sellier |
|
| 5ef2ba40 |
Require unsafe context for undefined values |
Alexis Sellier |
|
| 3c86541c |
Bootstrap the compiler with unsafe static support |
Alexis Sellier |
|
| e4588734 |
Require unsafe context to access unsafe statics |
Alexis Sellier |
|