direct-io.hg

directory /extras/mini-os/ @ 854:0cd58ce5a503

name size permissions
[up] drwxr-xr-x
dir. h/ drwxr-xr-x
dir. lib/ drwxr-xr-x
file Makefile 1395 -rw-r--r--
file README 787 -rw-r--r--
file entry.S 6829 -rw-r--r--
file events.c 2345 -rw-r--r--
file head.S 984 -rw-r--r--
file hypervisor.c 3422 -rw-r--r--
file kernel.c 4683 -rw-r--r--
file minios.lds 1060 -rw-r--r--
file mm.c 9973 -rw-r--r--
file time.c 5082 -rw-r--r--
file traps.c 6325 -rw-r--r--