Cixo Develop 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa
..
000-default 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa
001-pipe 38248fe1d3 Add kernel.c and fix headers. 8 mesi fa