3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
edk2-linux-toolchain 0.1-1 0 0.00 minimal EDKII including the makeefi tool for easily building UEFI apps and drivers M1cha
esp32-openocd 0.10.0.dev.g77b10c51-1 0 0.00 Fork of OpenOCD that has ESP32 support M1cha
gcc-xtensa-esp32-elf-bin 1.22.0_73_ge28a011_5.2.0-1 1 0.63 ESP32 Toolchain M1cha

3 packages found. Page 1 of 1.