avpatel

Hypervisor and Linux Kernel Contributor

Bangalore, India

Pinned Repositories

atomthreads-arm
Lightweight, Portable RTOS Scheduler
Language:C5 3 02
dromajo
RISC-V RV64GC emulator designed for RTL co-simulation
Language:C++0 2 00
hart-software-services
PolarFire SoC hart software services
Language:C0 2 00
hypervisors
00
kvmtool
Native Linux KVM tool
Language:C10 5 18
librpmi
Reference implementation of RPMI specification as a library.
Language:C0 0 00
linux
Linux kernel source tree
Language:C16 9 04
opensbi
RISC-V Open Source Supervisor Binary Interface
Language:C21
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
Language:C2 3 02
xvisor-next
Xvisor: eXtensible Versatile hypervISOR
Language:C87 28 061

avpatel's Repositories

avpatel/xvisor-next
Xvisor: eXtensible Versatile hypervISOR
Language:C87 28 061
avpatel/linux
Linux kernel source tree
Language:C16 9 04
avpatel/kvmtool
Native Linux KVM tool
Language:C10 5 18
avpatel/atomthreads-arm
Lightweight, Portable RTOS Scheduler
Language:C5 3 02
avpatel/opensbi
RISC-V Open Source Supervisor Binary Interface
Language:C21
avpatel/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
Language:C2 3 02
avpatel/dromajo
RISC-V RV64GC emulator designed for RTL co-simulation
Language:C++0 2 00
avpatel/hart-software-services
PolarFire SoC hart software services
Language:C0 2 00
avpatel/hypervisors
00
avpatel/librpmi
Reference implementation of RPMI specification as a library.
Language:C0 0 00
avpatel/riscv-aclint
Language:Makefile0 2 00
avpatel/riscv-isa-manual
RISC-V Instruction Set Manual
Language:TeX3 0
avpatel/riscv-isa-sim
Spike, a RISC-V ISA Simulator
Language:C2 0
avpatel/riscv-pk
RISC-V Proxy Kernel
Language:C2 0
avpatel/riscv-platform-specs
RISC-V Profiles and Platform Specification
Language:Makefile1 0
avpatel/riscv-rpmi
RISC-V Platform Management Interface Specification. OS-agnostic messaging interface for system management and control
Language:Makefile
avpatel/riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
Language:Makefile3 0
avpatel/riscv-software-list
The RISC-V software tools list, as seen on riscv.org
2 0
avpatel/riscv-watchdog
Language:Makefile
avpatel/tock
A secure embedded operating system for microcontrollers
avpatel/u-boot
"Das U-Boot" Source Tree
Language:C2 0
avpatel/udmabuf
User space mappable dma buffer device driver for Linux.
Language:C3 0