Cixo Develop 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa
..
kernel.c 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa
latch.c 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa
process.c 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa