compiling Sculpt

Martin Stein martin.stein at genode-labs.com
Sat Jan 28 07:47:10 CET 2023


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 at lists.genode.org
> https://lists.genode.org/listinfo/users
> 



More information about the users mailing list