Alternatives and similar repositories for lib-lwip

Users that are interested in lib-lwip are comparing it to the libraries listed below

• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated 2 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆37Updated this week
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 3 years ago
• IntelLabs / c3-simulator
  C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…
  ☆19Updated 4 months ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆15Updated last year
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆127Updated last week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆36Updated 2 months ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• 0xADE1A1DE / USLH
  Artifact for paper: Breaking and Fixing Speculative Load Hardening
  ☆11Updated last year
• jeremysinger / capabilitiesforcoders
  Open-source textbook about CHERI capabilities, for a developer audience
  ☆16Updated last month
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆16Updated 5 years ago
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆49Updated last week
• uec-hanken / tee-hardware
  TEE hardware - based on the chipyard repository - hardware to accelerate TEE
  ☆24Updated 2 years ago
• seL4 / camkes-vm-examples
  ☆17Updated 3 months ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆25Updated 2 months ago
• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆35Updated 5 months ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆119Updated last month
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆60Updated 3 weeks ago
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 4 years ago
• keystone-enclave / keystone-runtime
  Eyrie enclave runtime kernel
  ☆36Updated last year
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• mit-pdos / gokv
  ☆16Updated 3 weeks ago
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆41Updated this week
• riscv-non-isa / riscv-semihosting
  ☆30Updated last week
• sophgocommunity / SG2042-Newsletter
  Weekly update for SG2042 ecosystem. RISC-V is inevitable!
  ☆22Updated this week
• rgushchin / atc
  ☆16Updated 3 years ago
• eunomia-bpf / bpf-benchmark
  Userspace eBPF Runtime Benchmarking Test Suite and Results
  ☆14Updated last year