The Embedded and Operating Systems group at GWU's repositories
sledge-serverless-framework
SLEdge: a serverless runtime designed for the Edge.
linux_bench
Set of benchmarks for system calls on Linux. A focus on average and tail.
sledge-prometheus-grafana
A preconfigured prometheus and grafana deployment to display a custom dashboard for the SLEdge runtime.
systems_musings
Thoughts and links for unstructured chats about systems.
speechtotext
A simple text-to-speech function modified to run under Sledge
CMSIS_5_NN
Trying CMSIS_5_NN
pocketsphinx
PocketSphinx is a lightweight speech recognition engine, specifically tuned for handheld and mobile devices, though it works equally well on the desktop
u-boot-xlnx
The official Xilinx u-boot repository
wasmception
Minimal C/C++ language toolset for building wasm files
zynq-mkbootimage
An open source replacement of the Xilinx bootgen application.