Hi Nanfang,

I had that issue, too. On the newest Genode you also need to select a board to run on which is "linux" for Linux. So you could try

"make KERNEL=linux BOARD=linux run/demo"

Regards, Johannes

Hi

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