Adopt l4 user library from L4Ka::Pistachio
Add user/apps to all-y
Change include path order of user codes
remove platforms of l4 includes
fix function prototype errors
fix include
add l4test to all-y
add headers needed by l4test
renam l4test/main.cc -> l4test/main.c
fix bool undefined
fix compiling errors of l4test.h and main.c
remove platforms of l4test
fix function name of l4test/main.c
map MRs to real registers
implement L4_Ipc
remove apis.h
solve include file conflict
implement L4_ThreadControl
use L4 X.2 defined interface
not to use L4_Start_SpIp because L4_ExchangeRegisters is not implemented