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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
