Tomoki Shirasawa fcd5d65f65 remove configure generated files

2013-05-02 10:57:10 +09:00

..

config

support builtin-x86 and builtin-mic

2013-01-06 15:45:17 +09:00

include

add generic system call forwarding

2013-04-17 20:32:33 +09:00

script

support to load kernel to any phys addr

2013-02-04 11:39:09 +09:00

ap.c

change function names

2012-12-17 16:15:05 +09:00

cls.c

modify include lines and Makefiles

2012-12-17 16:10:56 +09:00

copy.c

change function names

2012-12-17 16:15:05 +09:00

debug.c

change function names

2012-12-17 16:15:05 +09:00

futex.c

change function names

2012-12-17 16:15:05 +09:00

host.c

add generic system call forwarding

2013-04-17 20:32:33 +09:00

init.c

add mccmd init function in booting stage

2013-02-15 19:57:17 +09:00

listeners.c

change function names

2012-12-17 16:15:05 +09:00

Makefile.build

support builtin-x86 and builtin-mic

2013-01-06 15:45:17 +09:00

Makefile.build.dcfa

structure format(both user/kernel mode of dcfa and dcfampi enabled)

2013-04-10 17:38:02 +09:00

Makefile.build.dcfa.public

structure format(both user/kernel mode of dcfa and dcfampi enabled)

2013-04-10 17:38:02 +09:00

Makefile.dcfa

structure format(both user/kernel mode of dcfa and dcfampi enabled)

2013-04-10 17:38:02 +09:00

Makefile.in

support configure/make

2013-02-18 12:07:32 +09:00

mem.c

support builtin-x86 and builtin-mic

2013-01-06 15:45:17 +09:00

mikc.c

change function names

2012-12-17 16:15:05 +09:00

process.c

add generic system call forwarding

2013-04-17 20:32:33 +09:00

rbtree.c

add rbtree source

2013-01-16 16:13:17 +09:00

syscall.c

add generic system call forwarding

2013-04-17 20:32:33 +09:00

timer.c

change function names

2012-12-17 16:15:05 +09:00

waitq.c

change function names

2012-12-17 16:15:05 +09:00