I am a newbie to genode and need help to set up.

I have cloned and compiled genode.

When I try to run demo by command "make KERNEL=linux run/demo", I had an error, see attached. 

I have ubuntu 16.04 and IBM Thinkpad 520.

Thanks

Nanfang