hselasky / usb4
USB4 / Thunderbolt 3
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for usb4
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- The x86_64 UEFI bootloader for rCore☆43Updated 2 years ago
- ☆24Updated 2 years ago
- Runs WebAssembly binaries on barebones x86-64 systems.☆13Updated 5 years ago
- Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI dev…☆51Updated last week
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 3 months ago
- Multi-Architecture UEFI Environment Driver☆53Updated 3 months ago
- Ergonomic Rust framework for writing UEFI applications.☆60Updated 2 months ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- FreeBSD on Allwinner D1☆26Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 2 years ago
- ☆59Updated 3 years ago
- EDK II☆17Updated 4 years ago
- ☆45Updated last month
- FreeBSD on StarFive VisionFive 2☆31Updated last year
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- Sled System Emulator☆28Updated this week
- Darling's userspace kernel server (much like Wine's wineserver)☆14Updated 2 months ago
- Mach-O file format support for FreeBSD (image activation, etc)☆15Updated 8 years ago
- Collect ACPI table dumps☆27Updated last year
- ☆18Updated 3 months ago
- ☆19Updated last year
- MUSL libc port for UEFI☆11Updated 7 years ago
- Administrator : Marshall.Dawson@amd.com☆46Updated last month
- CPU power consumption monitor for FreeBSD☆22Updated 7 years ago
- Advanced Operating Systems project☆19Updated 2 months ago
- A curated list of awesome things related to rustsbi☆38Updated 2 years ago
- trivial UEFI bootloader app☆7Updated 9 years ago
- ☆20Updated last month
- LK embedded kernel☆24Updated 2 weeks ago