| 6e822795 |
kernel: admit and compile trusted RIL at runtime |
Alexis Sellier |
|
| 408a1843 |
kernel: run budgeted domains across independent harts |
Alexis Sellier |
|
| 0b52e1ef |
kernel: start independent harts and exchange bounded mailbox requests |
Alexis Sellier |
|
| 1279b225 |
kernel: dispatch the complete direct-call ABI |
Alexis Sellier |
|
| dde478e3 |
kernel: reclaim domain resources after lifecycle quiescence |
Alexis Sellier |
|
| 04ed5958 |
kernel: activate private image instances and independent contexts |
Alexis Sellier |
|
| 14a97c54 |
kernel: execute source-built binary images through the shared backend |
Alexis Sellier |
|
| 55538f16 |
ril: decode binary graphs through the existing RV64 backend |
Alexis Sellier |
|
| fdf8f5d1 |
assembler: bound image linking storage and encode machine fences |
Alexis Sellier |
|
| 566537b1 |
kernel: route exclusive interrupts through masked PLIC claims |
Alexis Sellier |
|
| e7e57c61 |
kernel: wait for events with bounded one-shot timeouts |
Alexis Sellier |
|
| 8c203f66 |
kernel: enforce finite hart-bound execution budgets |
Alexis Sellier |
|
| e9333d80 |
resolver: prepare defining imports before nominal layout |
Alexis Sellier |
|
| 6eee4d97 |
kernel: preserve complete user state across machine traps |
Alexis Sellier |
|
| d84aebbc |
kernel: publish ordered events with reserved lifecycle capacity |
Alexis Sellier |
|
| 53c5af21 |
kernel: preserve recipient page lifetimes across handle changes |
Alexis Sellier |
|
| 806b7604 |
rv64: respect aggregate alignment in copies and returns |
Alexis Sellier |
|
| 5b8f59d1 |
kernel: grant and transfer authority transactionally |
Alexis Sellier |
|
| f126a2b7 |
kernel: create bounded domains with private event state |
Alexis Sellier |
|
| 2fa6ad33 |
kernel: validate typed handles and retire exhausted slots |
Alexis Sellier |
|
| 71bd6f97 |
kernel: own and clear contiguous physical allocations |
Alexis Sellier |
|
| d88ae1a1 |
kernel: discover bounded firmware platform resources |
Alexis Sellier |
|
| 1f842c56 |
kernel: build a freestanding machine image |
Alexis Sellier |
|
| 9a9ad076 |
rv64: Skip zero chunks in wide immediates |
Alexis Sellier |
|
| 587e7cb3 |
resolver: Borrow ownership branch inputs |
Alexis Sellier |
|
| 6436757e |
resolver: Share executable body checking |
Alexis Sellier |
|
| a7f15291 |
lower: Share constant slice data insertion |
Alexis Sellier |
|
| 625eabb9 |
regalloc: Count excess callee registers once |
Alexis Sellier |
|
| e0c7ad6c |
il: Print numbers without arena allocations |
Alexis Sellier |
|
| d3a86b21 |
resolver: Initialize active ownership state |
Alexis Sellier |
|
| 76d18fbc |
lookup: Borrow keyword and dictionary entries |
Alexis Sellier |
|
| a7dcdcfb |
module: Consolidate directory prefix scanning |
Alexis Sellier |
|
| 45c563a2 |
lower: Avoid redundant constant array layouts |
Alexis Sellier |
|
| ecdf6a84 |
lower: Reuse pending block parameter state |
Alexis Sellier |
|
| 95ea08b1 |
regalloc: Index last operand uses per block |
Alexis Sellier |
|
| 7c9a7f91 |
rv64: Preserve FP only for dynamic frames |
Alexis Sellier |
|
| 2c74c0a9 |
regalloc: Grow liveness sets monotonically |
Alexis Sellier |
|
| 02871810 |
regalloc: Rebuild mappings from live-in values |
Alexis Sellier |
|
| 6d57411c |
Add `CONTRIBUTING` guide |
Alexis Sellier |
|
| b6abab36 |
lang: Rename Linear marker to Once |
Alexis Sellier |
|
| 702b8915 |
lang: Make composites affine by default |
Alexis Sellier |
|
| 1e2fdea9 |
test: Exercise linear type syntax |
Alexis Sellier |
|
| 68c6e83a |
lang: Lower linear references |
Alexis Sellier |
|
| d45ecf68 |
lang: Prepare linear ownership |
Alexis Sellier |
|
| 8ed9e8cc |
lang: Parse linear and pointer types |
Alexis Sellier |
|
| 6bcd1af1 |
Expose memory ordering to safe code |
Alexis Sellier |
|
| b58290fa |
Encode full memory fences |
Alexis Sellier |
|
| c50805e1 |
lang: Simplify compiler |
Alexis Sellier |
|
| a6544dc6 |
lang: Parse subscripts in normal context |
Alexis Sellier |
|
| 8bbc22f3 |
lang: Parse array elements in normal context |
Alexis Sellier |
|