├── .github └── bors.toml ├── .gitignore ├── .travis.yml ├── Cargo.toml ├── README.md ├── linux-io ├── Cargo.toml └── src │ ├── lib.rs │ ├── process.rs │ └── time.rs ├── linux-rt ├── .cargo │ └── config ├── Cargo.toml ├── examples │ ├── affinity.rs │ ├── getcpu.rs │ ├── hello.rs │ ├── instant.rs │ ├── kill.rs │ ├── panic.rs │ ├── priorities.rs │ ├── sa_handler.rs │ ├── sa_sigaction.rs │ ├── sigtimedwait.rs │ ├── thread1.rs │ ├── thread2.rs │ └── timer.rs ├── macros │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── src │ ├── lib.rs │ └── symbols.rs └── x86_64-linux-rtfm.json ├── linux-sys ├── Cargo.toml └── src │ ├── consts.rs │ ├── lib.rs │ ├── macros.rs │ └── types.rs ├── panic-exit ├── Cargo.toml └── src │ └── lib.rs ├── panic-stderr ├── Cargo.toml └── src │ └── lib.rs ├── rtfm ├── .cargo │ └── config ├── Cargo.toml ├── examples │ ├── lock.rs │ ├── mc-all.rs │ ├── mc-interleaved.rs │ ├── mc-periodic.rs │ ├── mc-sigprocmask.rs │ ├── mc-xschedule.rs │ ├── mc-xspawn.rs │ ├── periodic.rs │ ├── spawn.rs │ ├── time-dispatch.rs │ ├── time-lock.rs │ └── time-post.rs ├── macros │ ├── Cargo.toml │ └── src │ │ ├── analyze.rs │ │ ├── check.rs │ │ ├── codegen.rs │ │ ├── codegen │ │ ├── assertions.rs │ │ ├── childs.rs │ │ ├── dispatchers.rs │ │ ├── idle.rs │ │ ├── init.rs │ │ ├── locals.rs │ │ ├── module.rs │ │ ├── post_init.rs │ │ ├── pre_init.rs │ │ ├── resources.rs │ │ ├── resources_struct.rs │ │ ├── schedule.rs │ │ ├── schedule_body.rs │ │ ├── spawn.rs │ │ ├── spawn_body.rs │ │ ├── tasks.rs │ │ ├── timer_body.rs │ │ ├── timer_queue.rs │ │ └── util.rs │ │ └── lib.rs ├── sample.sh ├── src │ ├── export.rs │ ├── lib.rs │ └── tq.rs ├── stats.py └── x86_64-linux-rtfm.json └── tools ├── .gitignore ├── Cargo.toml └── src └── bin └── rtfm-run.rs /.github/bors.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/.github/bors.toml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | **/*.rs.bk 2 | .#* 3 | /target 4 | Cargo.lock -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/.travis.yml -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/README.md -------------------------------------------------------------------------------- /linux-io/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-io/Cargo.toml -------------------------------------------------------------------------------- /linux-io/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-io/src/lib.rs -------------------------------------------------------------------------------- /linux-io/src/process.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-io/src/process.rs -------------------------------------------------------------------------------- /linux-io/src/time.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-io/src/time.rs -------------------------------------------------------------------------------- /linux-rt/.cargo/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/.cargo/config -------------------------------------------------------------------------------- /linux-rt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/Cargo.toml -------------------------------------------------------------------------------- /linux-rt/examples/affinity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/affinity.rs -------------------------------------------------------------------------------- /linux-rt/examples/getcpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/getcpu.rs -------------------------------------------------------------------------------- /linux-rt/examples/hello.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/hello.rs -------------------------------------------------------------------------------- /linux-rt/examples/instant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/instant.rs -------------------------------------------------------------------------------- /linux-rt/examples/kill.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/kill.rs -------------------------------------------------------------------------------- /linux-rt/examples/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/panic.rs -------------------------------------------------------------------------------- /linux-rt/examples/priorities.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/priorities.rs -------------------------------------------------------------------------------- /linux-rt/examples/sa_handler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/sa_handler.rs -------------------------------------------------------------------------------- /linux-rt/examples/sa_sigaction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/sa_sigaction.rs -------------------------------------------------------------------------------- /linux-rt/examples/sigtimedwait.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/sigtimedwait.rs -------------------------------------------------------------------------------- /linux-rt/examples/thread1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/thread1.rs -------------------------------------------------------------------------------- /linux-rt/examples/thread2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/thread2.rs -------------------------------------------------------------------------------- /linux-rt/examples/timer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/examples/timer.rs -------------------------------------------------------------------------------- /linux-rt/macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/macros/Cargo.toml -------------------------------------------------------------------------------- /linux-rt/macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/macros/src/lib.rs -------------------------------------------------------------------------------- /linux-rt/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/src/lib.rs -------------------------------------------------------------------------------- /linux-rt/src/symbols.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-rt/src/symbols.rs -------------------------------------------------------------------------------- /linux-rt/x86_64-linux-rtfm.json: -------------------------------------------------------------------------------- 1 | ../rtfm/x86_64-linux-rtfm.json -------------------------------------------------------------------------------- /linux-sys/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-sys/Cargo.toml -------------------------------------------------------------------------------- /linux-sys/src/consts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-sys/src/consts.rs -------------------------------------------------------------------------------- /linux-sys/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-sys/src/lib.rs -------------------------------------------------------------------------------- /linux-sys/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-sys/src/macros.rs -------------------------------------------------------------------------------- /linux-sys/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/linux-sys/src/types.rs -------------------------------------------------------------------------------- /panic-exit/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/panic-exit/Cargo.toml -------------------------------------------------------------------------------- /panic-exit/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/panic-exit/src/lib.rs -------------------------------------------------------------------------------- /panic-stderr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/panic-stderr/Cargo.toml -------------------------------------------------------------------------------- /panic-stderr/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/panic-stderr/src/lib.rs -------------------------------------------------------------------------------- /rtfm/.cargo/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/.cargo/config -------------------------------------------------------------------------------- /rtfm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/Cargo.toml -------------------------------------------------------------------------------- /rtfm/examples/lock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/lock.rs -------------------------------------------------------------------------------- /rtfm/examples/mc-all.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/mc-all.rs -------------------------------------------------------------------------------- /rtfm/examples/mc-interleaved.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/mc-interleaved.rs -------------------------------------------------------------------------------- /rtfm/examples/mc-periodic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/mc-periodic.rs -------------------------------------------------------------------------------- /rtfm/examples/mc-sigprocmask.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/mc-sigprocmask.rs -------------------------------------------------------------------------------- /rtfm/examples/mc-xschedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/mc-xschedule.rs -------------------------------------------------------------------------------- /rtfm/examples/mc-xspawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/mc-xspawn.rs -------------------------------------------------------------------------------- /rtfm/examples/periodic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/periodic.rs -------------------------------------------------------------------------------- /rtfm/examples/spawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/spawn.rs -------------------------------------------------------------------------------- /rtfm/examples/time-dispatch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/time-dispatch.rs -------------------------------------------------------------------------------- /rtfm/examples/time-lock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/time-lock.rs -------------------------------------------------------------------------------- /rtfm/examples/time-post.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/examples/time-post.rs -------------------------------------------------------------------------------- /rtfm/macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/Cargo.toml -------------------------------------------------------------------------------- /rtfm/macros/src/analyze.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/analyze.rs -------------------------------------------------------------------------------- /rtfm/macros/src/check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/check.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/assertions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/assertions.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/childs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/childs.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/dispatchers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/dispatchers.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/idle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/idle.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/init.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/locals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/locals.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/module.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/post_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/post_init.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/pre_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/pre_init.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/resources.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/resources.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/resources_struct.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/resources_struct.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/schedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/schedule.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/schedule_body.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/schedule_body.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/spawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/spawn.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/spawn_body.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/spawn_body.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/tasks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/tasks.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/timer_body.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/timer_body.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/timer_queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/timer_queue.rs -------------------------------------------------------------------------------- /rtfm/macros/src/codegen/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/codegen/util.rs -------------------------------------------------------------------------------- /rtfm/macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/macros/src/lib.rs -------------------------------------------------------------------------------- /rtfm/sample.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/sample.sh -------------------------------------------------------------------------------- /rtfm/src/export.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/src/export.rs -------------------------------------------------------------------------------- /rtfm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/src/lib.rs -------------------------------------------------------------------------------- /rtfm/src/tq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/src/tq.rs -------------------------------------------------------------------------------- /rtfm/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/stats.py -------------------------------------------------------------------------------- /rtfm/x86_64-linux-rtfm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/rtfm/x86_64-linux-rtfm.json -------------------------------------------------------------------------------- /tools/.gitignore: -------------------------------------------------------------------------------- 1 | target/ -------------------------------------------------------------------------------- /tools/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/tools/Cargo.toml -------------------------------------------------------------------------------- /tools/src/bin/rtfm-run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/japaric/linux-rtfm/HEAD/tools/src/bin/rtfm-run.rs --------------------------------------------------------------------------------