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