direct-io.hg

directory /extras/mini-os/h/ @ 2299:8be25c10fa1e

name size permissions
[up] drwxr-xr-x
file events.h 1812 -rw-r--r--
file hypervisor.h 6939 -rw-r--r--
file lib.h 5184 -rw-r--r--
file mm.h 2998 -rw-r--r--
file os.h 8188 -rw-r--r--
file time.h 1854 -rw-r--r--
file types.h 1322 -rw-r--r--