]> rtime.felk.cvut.cz Git - l4.git/tree - l4/pkg/sigma0/server/src/
update
[l4.git] / l4 / pkg / sigma0 / server / src /
drwxr-xr-x   ..
drwxr-xr-x - ARCH-amd64
drwxr-xr-x - ARCH-arm
drwxr-xr-x - ARCH-ppc32
drwxr-xr-x - ARCH-x86
-rw-r--r-- 881 Makefile
-rw-r--r-- 819 globals.h
-rw-r--r-- 1990 init.cc
-rw-r--r-- 503 init.h
-rw-r--r-- 2708 init_mem.cc
-rw-r--r-- 513 init_mem.h
-rw-r--r-- 1719 io_backend.cc
-rw-r--r-- 637 ioports.h
-rw-r--r-- 648 ioports_none.cc
-rw-r--r-- 1257 ioports_x86.cc
-rw-r--r-- 5389 mem_man.cc
-rw-r--r-- 1083 mem_man.h
-rw-r--r-- 882 mem_man_test.cc
-rw-r--r-- 372 mem_man_test.h
-rw-r--r-- 8411 memmap.cc
-rw-r--r-- 728 memmap.h
-rw-r--r-- 1490 memmap_internal.h
-rw-r--r-- 549 page_alloc.cc
-rw-r--r-- 1210 page_alloc.h
-rw-r--r-- 1835 region.h
-rw-r--r-- 648 support.c