Hwanju Kim's repositories
blktap-dkms
Blktap kernel module with DKMS packaging
Language:CGPL-2.0000
Language:CNOASSERTION000
Language:Shell000
Language:C000
mini-os
Minimalistic Operating System for Xen (for ClickOS)
Language:CNOASSERTION000
mirage
Cloud programming platform
Language:OCaml000
mirage-http
Unix HTTP client and server using the Mirage libraries
mirage-platform
Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen microkernel.
Language:C000
mirage-skeleton
Build skeleton and examples of simple Mirage apps
Unlicense000
mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, DHCP, ARP and TCP/IPv4 support.
000
Language:VimL000
ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
NOASSERTION000
Language:CLGPL-2.1000
Language:Python000
toolchain
C++ toolchain for MiniOS
Language:C000
Language:CNOASSERTION000
Language:Perl000
000
xennet
Xen optimizations for fast packet I/O
Language:CNOASSERTION000