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

[Zachary]

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