Hi, thanks for reporting it. I've opened a corresponding issue:
https://github.com/genodelabs/genode/issues/1390 Regards Stefan On 02/02/2015 03:41 AM, Zachary wrote: > Hi everone, > > I want to build L4android, but failed. I have built L4linux correctly. This > is the log: > > ... > LD sound/sh/built-in.o > LD sound/soc/built-in.o > LD sound/sparc/built-in.o > LD sound/spi/built-in.o > LD sound/synth/built-in.o > LD sound/usb/6fire/built-in.o > LD sound/usb/caiaq/built-in.o > LD sound/usb/misc/built-in.o > LD sound/usb/usx2y/built-in.o > LD sound/usb/built-in.o > CC sound/last.o > LD sound/built-in.o > LD firmware/built-in.o > CC arch/l4/drivers/genode_serial.o > /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/arch/l4/drivers/genode > _serial.c: In function ‘genode_serial_rx_chars’: > /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/arch/l4/drivers/genode > _serial.c:75:4: warning: passing argument 1 of ‘tty_insert_flip_char’ from > incompatible pointer type [enabled by default] > In file included from /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/arch/l4/drivers/genode > _serial.c:28:0: > /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/include/linux/tty_flip > .h:11:19: note: expected ‘struct tty_struct *’ but argument is of type ‘ > struct tty_port *’ > /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/arch/l4/drivers/genode > _serial.c:81:2: warning: passing argument 1 of ‘tty_flip_buffer_push’ from > incompatible pointer type [enabled by default] > In file included from /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/arch/l4/drivers/genode > _serial.c:27:0: > /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/include/linux/tty.h:44 > 2:13: note: expected ‘struct tty_struct *’ but argument is of type ‘struct > tty_port *’ > CC arch/l4/drivers/genode_balloon.o > /home/zach/czzcz/genode-master/contrib/l4android- > 6f4b3df35e4f917ebbac94bfd6e16ef60f893801/src/l4android/arch/l4/drivers/genode > _balloon.c:26:25: fatal error: linux/sizes.h: No such file or directory > compilation terminated. > make[6]: *** [arch/l4/drivers/genode_balloon.o] Error 1 > make[5]: *** [arch/l4/drivers] Error 2 > make[4]: *** [sub-make] Error 2 > make[3]: *** [/home/zach/czzcz/genode- > master/build/foc_panda/l4android/vmlinux] Error 1 > make[2]: *** [vmlinux.prg] Error 2 > make[1]: *** [gen_deps_and_build_targets] Error 2 > make[1]: Leaving directory `/home/zach/czzcz/genode-master/build/foc_panda' > Error: Genode build failed > make: *** [run/l4android] Error 252 > > I serchered the archives but found no one encountered the same problem as > mine. > > Best, > Zachary > ------------------------------------------------------------------------------ > Dive into the World of Parallel Programming. The Go Parallel Website, > sponsored by Intel and developed in partnership with Slashdot Media, is your > hub for all things parallel software development, from weekly thought > leadership blogs to news, videos, case studies, tutorials and more. Take a > look and join the conversation now. http://goparallel.sourceforge.net/ > _______________________________________________ > genode-main mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ ------------------------------------------------------------------------------ Dive into the World of Parallel Programming. The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net/ _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
