xous-core/services/ticktimer-server
Sean Cross b86e0a65cd services: recognize xous as a hardware OS
Support `xous` as a valid OS. This allows us to build the entire kernel
under this target.

Signed-off-by: Sean Cross <sean@xobs.io>
2021-08-02 18:11:48 +08:00
..
src services: recognize xous as a hardware OS 2021-08-02 18:11:48 +08:00
Cargo.toml intermediate check-in on wfi 2021-05-30 23:07:16 +08:00