Opam Package minios-xen.0.9

Package info

opam-nameminios-xen
opam-version0.9
synopsisA minimal OS for running under the Xen hypervisor
description Mini-OS provides architecture-specific boot code, a stack, malloc, an interrupt handler, a console driver, and some basic C functions. It can be used as a library to build unikernels such as Mirage.
authors
  • Thomas Leonard <talex5@gmail.com>
homepagehttps://github.com/talex5/mini-os
deps (2)
revdeps (1)
metas(0)
libraries(0)

Package modules

Package sources

minios-xen

Package files

lib/pkgconfig/libminios-xen.pc
lib/minios-xen/libx86_64.a
lib/minios-xen/libminios.lds
lib/minios-xen/libminios.a
lib/minios-xen
include/minios-xen/xmalloc.h
include/minios-xen/xenbus.h
include/minios-xen/xen/xsm/flask_op.h
include/minios-xen/xen/xsm
include/minios-xen/xen/xenoprof.h
include/minios-xen/xen/xencomm.h
include/minios-xen/xen/xen.h
include/minios-xen/xen/xen-compat.h
include/minios-xen/xen/version.h
include/minios-xen/xen/vcpu.h
include/minios-xen/xen/trace.h
include/minios-xen/xen/tmem.h
include/minios-xen/xen/sysctl.h
include/minios-xen/xen/sched.h
include/minios-xen/xen/platform.h
include/minios-xen/xen/physdev.h
include/minios-xen/xen/nmi.h
include/minios-xen/xen/memory.h
include/minios-xen/xen/mem_event.h
include/minios-xen/xen/kexec.h
include/minios-xen/xen/io/xs_wire.h
include/minios-xen/xen/io/xenbus.h
include/minios-xen/xen/io/vscsiif.h
include/minios-xen/xen/io/usbif.h
include/minios-xen/xen/io/tpmif.h
include/minios-xen/xen/io/ring.h
include/minios-xen/xen/io/protocols.h
include/minios-xen/xen/io/pciif.h
include/minios-xen/xen/io/netif.h
include/minios-xen/xen/io/libxenvchan.h
include/minios-xen/xen/io/kbdif.h
include/minios-xen/xen/io/fsif.h
include/minios-xen/xen/io/fbif.h
include/minios-xen/xen/io/console.h
include/minios-xen/xen/io/blkif.h
include/minios-xen/xen/io
include/minios-xen/xen/hvm/save.h
include/minios-xen/xen/hvm/pvdrivers.h
include/minios-xen/xen/hvm/params.h
include/minios-xen/xen/hvm/ioreq.h
include/minios-xen/xen/hvm/hvm_xs_strings.h
include/minios-xen/xen/hvm/hvm_op.h
include/minios-xen/xen/hvm/hvm_info_table.h
include/minios-xen/xen/hvm/e820.h
include/minios-xen/xen/hvm
include/minios-xen/xen/grant_table.h
include/minios-xen/xen/gcov.h
include/minios-xen/xen/features.h
include/minios-xen/xen/event_channel.h
include/minios-xen/xen/elfnote.h
include/minios-xen/xen/domctl.h
include/minios-xen/xen/dom0_ops.h
include/minios-xen/xen/callback.h
include/minios-xen/xen/arch-x86_64.h
include/minios-xen/xen/arch-x86_32.h
include/minios-xen/xen/arch-x86/xen.h
include/minios-xen/xen/arch-x86/xen-x86_64.h
include/minios-xen/xen/arch-x86/xen-x86_32.h
include/minios-xen/xen/arch-x86/xen-mca.h
include/minios-xen/xen/arch-x86/hvm/save.h
include/minios-xen/xen/arch-x86/hvm
include/minios-xen/xen/arch-x86/cpuid.h
include/minios-xen/xen/arch-x86
include/minios-xen/xen/arch-arm/hvm/save.h
include/minios-xen/xen/arch-arm/hvm
include/minios-xen/xen/arch-arm.h
include/minios-xen/xen/arch-arm
include/minios-xen/xen/COPYING
include/minios-xen/xen
include/minios-xen/waittypes.h
include/minios-xen/wait.h
include/minios-xen/types.h
include/minios-xen/traps.h
include/minios-xen/tpmfront.h
include/minios-xen/tpmback.h
include/minios-xen/tpm_tis.h
include/minios-xen/time.h
include/minios-xen/sys/time.h
include/minios-xen/sys/lock.h
include/minios-xen/sys/cdefs.h
include/minios-xen/sys
include/minios-xen/strings.h
include/minios-xen/string.h
include/minios-xen/stdint.h
include/minios-xen/spinlock.h
include/minios-xen/semaphore.h
include/minios-xen/sched.h
include/minios-xen/posix/unistd.h
include/minios-xen/posix/time.h
include/minios-xen/posix/termios.h
include/minios-xen/posix/syslog.h
include/minios-xen/posix/sys/stat.h
include/minios-xen/posix/sys/socket.h
include/minios-xen/posix/sys/select.h
include/minios-xen/posix/sys/poll.h
include/minios-xen/posix/sys/mman.h
include/minios-xen/posix/sys/ioctl.h
include/minios-xen/posix/sys
include/minios-xen/posix/strings.h
include/minios-xen/posix/stdlib.h
include/minios-xen/posix/signal.h
include/minios-xen/posix/pthread.h
include/minios-xen/posix/poll.h
include/minios-xen/posix/netinet/tcp.h
include/minios-xen/posix/netinet/in.h
include/minios-xen/posix/netinet
include/minios-xen/posix/netdb.h
include/minios-xen/posix/net/if.h
include/minios-xen/posix/net
include/minios-xen/posix/limits.h
include/minios-xen/posix/fcntl.h
include/minios-xen/posix/err.h
include/minios-xen/posix/dirent.h
include/minios-xen/posix/arpa/inet.h
include/minios-xen/posix/arpa
include/minios-xen/posix
include/minios-xen/pcifront.h
include/minios-xen/os.h
include/minios-xen/netfront.h
include/minios-xen/mm.h
include/minios-xen/minios-external/bsd-sys-queue.h
include/minios-xen/minios-external/bsd-sys-queue-h-seddery
include/minios-xen/minios-external/bsd-queue.3
include/minios-xen/minios-external/bsd-COPYRIGHT
include/minios-xen/minios-external/README
include/minios-xen/minios-external
include/minios-xen/mini-os
include/minios-xen/lwipopts.h
include/minios-xen/list.h
include/minios-xen/linux/types.h
include/minios-xen/linux
include/minios-xen/libfdt_env.h
include/minios-xen/lib.h
include/minios-xen/lib-gpl.h
include/minios-xen/kernel.h
include/minios-xen/iorw.h
include/minios-xen/ioremap.h
include/minios-xen/inttypes.h
include/minios-xen/hypervisor.h
include/minios-xen/hypercall-x86_64.h
include/minios-xen/gnttab.h
include/minios-xen/gntmap.h
include/minios-xen/fcntl.h
include/minios-xen/fbfront.h
include/minios-xen/events.h
include/minios-xen/errno.h
include/minios-xen/errno-base.h
include/minios-xen/err.h
include/minios-xen/endian.h
include/minios-xen/ctype.h
include/minios-xen/console.h
include/minios-xen/compiler.h
include/minios-xen/byteswap.h
include/minios-xen/byteorder.h
include/minios-xen/blkfront.h
include/minios-xen/assert.h
include/minios-xen/arch_wordsize.h
include/minios-xen/arch_spinlock.h
include/minios-xen/arch_sched.h
include/minios-xen/arch_mm.h
include/minios-xen/arch_limits.h
include/minios-xen/arch_endian.h
include/minios-xen/arch/sys_arch.h
include/minios-xen/arch/perf.h
include/minios-xen/arch/cc.h
include/minios-xen/arch
include/minios-xen
include