Lionel Sambuc 5f5dcc545f Fix bitcode support for kernel

2014-08-29 12:57:03 -04:00

..

bsp

…

include

…

arch_clock.c

…

arch_do_vmctl.c

…

arch_reset.c

…

arch_system.c

…

direct_tty_utils.c

…

do_padconf.c

…

exc.S

…

exception.c

…

glo.h

…

head.S

…

hw_intr.c

…

kernel.lds

…

klib.S

…

Makefile.inc

…

memory.c

…

mpx.S

…

pg_utils.c

…

phys_copy.S

…

phys_memset.S

…

pre_init.c

…

procoffsets.cf

…

protect.c

…

sconst.h

…

timer.h

…