30 Commits (e898d5ab6922f595c1ccb4e22b36d07f132b9a71)

Author SHA1 Message Date
Sean McBride e898d5ab69 chore: validate interrupts disabled at spinlock
5 years ago
Sean McBride d6f10cac7a refactor: decompose types.h
5 years ago
Sean McBride b315844c46 feat: constant propagation state transitions
5 years ago
Sean McBride eca1546f7a chore: improved logging
5 years ago
Sean McBride c37b2ba9a9 docs: Assorted comment cleanup
5 years ago
Sean McBride c0bcbdbc2e feat: set as returned
5 years ago
Sean McBride b85d089537 feat: running, preempted, complete transitions
5 years ago
Sean McBride 65b10f19dd feat: sandbox set as runnable
5 years ago
Sean McBride 8b199f702e chore: remove extra consistency check
5 years ago
Sean McBride fdba1b1de8 feat: error check context variants
5 years ago
Sean McBride 7919dff0ba refactor: decapitalize enums
5 years ago
Sean McBride b979809c12 chore: fix debuglog usage
5 years ago
Sean McBride 2db5f84f11 chore: Initial buggy port
5 years ago
Sean McBride 8ddab81a22 chore: revert soft int location
5 years ago
Sean McBride 080c3d6656 chore: simplify RCs
5 years ago
Sean McBride 41f63ebafc chore: use debuglog
5 years ago
Sean McBride 2ceede804a chore: revert sandbox alloc API
5 years ago
Sean McBride 1ae6acbbee fix: correct bug and harden error handling
5 years ago
Sean McBride 180df1a7d5 feat: initial implementation with interrupt bugs
5 years ago
Sean McBride 5c87885722 chore: rename request_arrival_timestamp
5 years ago
Sean McBride d1f80d8b1e chore: port simple doc and error handlign
5 years ago
Sean McBride 2f164c3430 chore: refactor our sandbox_request_t
5 years ago
Sean McBride 3d9829e6b3 chore: clean up get sandbox in minheap preempt
5 years ago
Sean McBride 324253095d refactor: clarify interval duration is not macro
5 years ago
Sean McBride 47f24b6952 fix: namespace sandbox states
5 years ago
Sean McBride 788ba6909b docs: Replace printfs with debuglog
5 years ago
Sean McBride 9eb5541afa feat: propagate dequeue and remove return codes
5 years ago
Sean McBride d36b28bf21 chore: local_runqueue add cleanup
5 years ago
Sean McBride dfb1c65e93 fix: push PQ error handling to caller
5 years ago
Sean McBride 1c2aa448cd chore: rename scheduler interfaces and variants
5 years ago