| 046eddc2 |
kernel: Integrate lexical regions |
Alexis Sellier |
|
| 807886ea |
kernel: Allow dropping capabilities for dead domains |
Alexis Sellier |
|
| bf3d3cc5 |
kernel: Refresh queued terminal acknowledgements |
Alexis Sellier |
|
| fa1aa037 |
kernel: Schedule retries for deferred timeouts |
Alexis Sellier |
|
| cd18ef8b |
kernel: Synchronize instructions before context execution |
Alexis Sellier |
|
| a5b6779f |
kernel: Add system acceptance and invariant tests |
Alexis Sellier |
|
| 5f30e2cd |
kernel: Bootstrap user-space scheduling |
Alexis Sellier |
|
| 407a0145 |
kernel: Complete preemptible runtime loading |
Alexis Sellier |
|
| 60847643 |
kernel: Complete domain teardown and parenting |
Alexis Sellier |
|
| 7aab0c13 |
kernel: Deliver device interrupts |
Alexis Sellier |
|
| 04c663fc |
kernel: Complete cross-hart transactions |
Alexis Sellier |
|
| ba7c3317 |
kernel: Start secondary harts |
Alexis Sellier |
|
| 34415325 |
kernel: Implement wait, timeout, wakeup, and yield |
Alexis Sellier |
|
| 638682ed |
kernel: Manage additional execution contexts |
Alexis Sellier |
|
| 4296f82d |
kernel: Connect the syscall ABI |
Alexis Sellier |
|
| 754947a8 |
kernel: Dispatch contexts and enforce timers |
Alexis Sellier |
|
| 5c2b051d |
kernel: Implement time-window budgets |
Alexis Sellier |
|
| 5188225d |
kernel: Create domain instances |
Alexis Sellier |
|
| 5400cd48 |
kernel: Load trusted binary RIL |
Alexis Sellier |
|
| 3d8abc9f |
kernel: Register global packages |
Alexis Sellier |
|
| 1db0e99f |
kernel: Implement event delivery |
Alexis Sellier |
|
| 7f768ce8 |
kernel: Implement capability transactions |
Alexis Sellier |
|
| b13595ab |
kernel: Allocate and split physical memory |
Alexis Sellier |
|
| 0d03396d |
kernel: Implement capability-table lookup |
Alexis Sellier |
|
| c1130035 |
kernel: Save and restore trap contexts |
Alexis Sellier |
|
| 3d23707f |
kernel: Boot from platform data |
Alexis Sellier |
|
| 1873ef7c |
kernel: Add ABI types and bounded object storage |
Alexis Sellier |
|
| fc84a1d3 |
rv64: Add kernel synchronization primitives |
Alexis Sellier |
|
| 10626288 |
rv64: Return bounded code-generation failures |
Alexis Sellier |
|
| 1bb6778b |
rv64: Generate shared package code |
Alexis Sellier |
|
| b7fbdab5 |
rv64: Support explicit native image placement |
Alexis Sellier |
|
| 8e1da2cd |
compiler: Emit separate binary RIL packages |
Alexis Sellier |
|
| 4da4070b |
kernel: Add the package and test targets |
Alexis Sellier |
|
| 52fcce36 |
compiler: Increase retained IL arena capacity |
Alexis Sellier |
|
| 958fd2e0 |
compiler: Support direct cell borrows |
Alexis Sellier |
|
| 2a67faea |
test: Cover lexical region lowering |
Alexis Sellier |
|
| 9a8d09d2 |
compiler: Add lexical regions |
Alexis Sellier |
|
| 0d7c8248 |
rv64: Add atomic instruction support |
Alexis Sellier |
|
| 0432def4 |
rv64: Return bounded code-generation failures |
Alexis Sellier |
|
| e237f812 |
rv64: Generate shared package code |
Alexis Sellier |
|
| d73b8223 |
rv64: Support explicit native image placement |
Alexis Sellier |
|
| d1be47b5 |
compiler: Emit separate binary RIL packages |
Alexis Sellier |
|
| eba4a943 |
il: Add binary RIL codecs |
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 |
|