Pinned Repositories
buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
efmt
Erlang code formatter
erlexec
Execute and control OS processes from Erlang/OTP
esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
incubator-nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
linux
Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum
pfr_non_boost
Boost.PFR without the boost namespaces
verbit.github.io
verbit's Repositories
verbit/verbit.github.io
verbit/buildroot
Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
verbit/efmt
Erlang code formatter
verbit/erlexec
Execute and control OS processes from Erlang/OTP
verbit/esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
verbit/incubator-nuttx
Apache NuttX is a mature, real-time embedded operating system (RTOS)
verbit/linux
Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum
verbit/pfr_non_boost
Boost.PFR without the boost namespaces
verbit/restvirt-client
verbit/restvirt-csi-driver
verbit/restvirt-exabgp
verbit/terraform-provider-restvirt
verbit/virtuerl
A minimalistic VM manager.
verbit/zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.