]> 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-- 675 globals.h
-rw-r--r-- 1846 init.cc
-rw-r--r-- 420 init.h
-rw-r--r-- 2564 init_mem.cc
-rw-r--r-- 369 init_mem.h
-rw-r--r-- 1575 io_backend.cc
-rw-r--r-- 493 ioports.h
-rw-r--r-- 504 ioports_none.cc
-rw-r--r-- 1113 ioports_x86.cc
-rw-r--r-- 5178 mem_man.cc
-rw-r--r-- 939 mem_man.h
-rw-r--r-- 738 mem_man_test.cc
-rw-r--r-- 289 mem_man_test.h
-rw-r--r-- 8267 memmap.cc
-rw-r--r-- 584 memmap.h
-rw-r--r-- 1258 memmap_internal.h
-rw-r--r-- 466 page_alloc.cc
-rw-r--r-- 1066 page_alloc.h
-rw-r--r-- 1752 region.h
-rw-r--r-- 504 support.c