]> rtime.felk.cvut.cz Git - l4.git/tree - l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/
benchmarks: use better bench. bootstrap: Fix slow memory access bug.
[l4.git] / l4 / pkg / bootstrap_custom / server / src / ARCH-ppc32 /
drwxr-xr-x   ..
-rw-r--r-- 2134 bootstrap.ld.in
-rw-r--r-- 610 crt0.S
-rw-r--r-- 420 head.cc
-rw-r--r-- 677 init_kip_v2-arch.cc
-rw-r--r-- 316 macros.h
-rw-r--r-- 397 reboot.cc