L4android with genode building error : linux/sizes.h no such file or dirctory

[Stefan Kalkowski]

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
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/