GitHub repository: Derwaan/bench-os
Description: Benchmark of Operating Systems in Internet of Things