Re: compiling Sculpt

Hi Johnny,

AFAIK, generally, if you want to compile for execution on Linux, you should use 'KERNEL=linux BOARD=linux' as arguments. With this, 'make run/sculpt' indeed finishes successfully on my machine. However, from my understanding, this is of no use because Sculpt cannot be run directly on Linux.

Cheers, Martin

On 26.01.23 18:32, Johnny Nunez wrote:

Hello everyone,

Is it possible to compile Sculpt using kernel=Linux board=pc ?

I am getting this error:

checking configuration syntax

CHECK init

generating initrd

cp: cannot stat 'genode/initramfs': No such file or directory

while executing

"exec cp genode/initramfs init"

(procedure "build_initrd" line 16)

---

Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users