Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Martin Stein]

... let me also add, that, if you're having trouble with Linux
complaining about something like "display sdl not available", it might
help to add the following to repos/gems/run/sculpt_test.run:

append qemu_args " -display gtk -vga none -device
virtio-vga,xres=1024,yres=768"

Cheers,
Martin

On 06.02.23 08:07, DHIRAJ PRAJAPATI wrote:
> Hello Christian, I Followed martin's advice and build the uImage, using 
> "--include image/uboot" in build.confg
> but after that to get the GUI in QEMU running the sculpt os what should
> be the next step?
> That's what I am looking for. Eventually, I want to boot the sculpt OS
> in QEMU to make the system runnable.
> 
> 
> Regards,
> DHIRAJ.
> 
> 
> 
> On Mon, Feb 6, 2023 at 12:12 PM Christian Helmuth
>  > wrote:
> 
> DHIRAJ,
> 
> On Sun, Feb 05, 2023 at 15:37:08 CET, DHIRAJ PRAJAPATI wrote:
> > Now to boot the image on QEMU I first tried to get the log.img using
> > *make run/log KERNEL=hw BOARD=rpi3 VERBOSE=*
> > by adding QEMU_RUN_OPT := --include image/disk
> 
> Martin suggested to use "--include image/uboot". Please follow his
> advice.
> 
> Regards
> -- 
> Christian Helmuth
> Genode Labs
> 
> https://www.genode-labs.com/ · https://genode.org/
> https://twitter.com/GenodeLabs · https://genodians.org/
> 
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
> 
> ___
> Genode users mailing list
> users@lists.genode.org 
> https://lists.genode.org/listinfo/users
> 
> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
> 

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Martin Stein]

Hi DHIRAJ,

Sculpt with ARM currently runs only on hardware, namely imx8q_evk,
mnt_reform2, and pinephone (see [1]). However, there are ambitions to
enable this in the future via the virtio platform. You can run Sculpt in
Qemu using the same kernel (base-hw) but on x86_64:

./tool/create_builddir x86_64
cd build/x86_64/
sed -i "s/#REP/REP/" etc/build.conf
echo "MAKE += -j8" >> etc/build.conf
echo "CCACHE := yes" >> etc/build.conf
make run/sculpt_test KERNEL=hw BOARD=pc DEPOT=tar LOG=core

Cheers,
Martin

[1] repos/gems/run/sculpt.run -> assert_platform_supported

On 06.02.23 08:07, DHIRAJ PRAJAPATI wrote:
> Hello Christian, I Followed martin's advice and build the uImage, using 
> "--include image/uboot" in build.confg
> but after that to get the GUI in QEMU running the sculpt os what should
> be the next step?
> That's what I am looking for. Eventually, I want to boot the sculpt OS
> in QEMU to make the system runnable.
> 
> 
> Regards,
> DHIRAJ.
> 
> 
> 
> On Mon, Feb 6, 2023 at 12:12 PM Christian Helmuth
>  > wrote:
> 
> DHIRAJ,
> 
> On Sun, Feb 05, 2023 at 15:37:08 CET, DHIRAJ PRAJAPATI wrote:
> > Now to boot the image on QEMU I first tried to get the log.img using
> > *make run/log KERNEL=hw BOARD=rpi3 VERBOSE=*
> > by adding QEMU_RUN_OPT := --include image/disk
> 
> Martin suggested to use "--include image/uboot". Please follow his
> advice.
> 
> Regards
> -- 
> Christian Helmuth
> Genode Labs
> 
> https://www.genode-labs.com/ · https://genode.org/
> https://twitter.com/GenodeLabs · https://genodians.org/
> 
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
> 
> ___
> Genode users mailing list
> users@lists.genode.org 
> https://lists.genode.org/listinfo/users
> 
> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
> 

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[ttcoder]

Hi,

In your previous email citing the qemu command-line, I saw the command-line 
parameter "--nographic".



If parametrized with both "gui = gtk" and "no gui", it seems Qemu goes with the 
latter, so you should remove "--nographic" in order to get the GUI. It will 
probably occur "automatically" if you use another script, see below :



Regarding SculptOS, I guess if the run/log script works correctly then your 
next step could be the run/sculpt script ? I'm not familiar with the ARM side 
of Genode.



Cédric


De : DHIRAJ PRAJAPATI 
À : Genode users mailing list 
Sujet : Re: Running genode on QEMU having board support of raspberry pi for 
arm_v8.
Date : 06/02/2023 08:07:12 Europe/Paris

Hello Christian, I Followed martin's advice and build the uImage, using  
"--include image/uboot" in build.confg
but after that to get the GUI in QEMU running the sculpt os what should be the 
next step?

That's what I am looking for. Eventually, I want to boot the sculpt OS in QEMU 
to make the system runnable.








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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[DHIRAJ PRAJAPATI]

Hello Christian, I Followed martin's advice and build the uImage, using
"--include image/uboot" in build.confg
but after that to get the GUI in QEMU running the sculpt os what should be
the next step?
That's what I am looking for. Eventually, I want to boot the sculpt OS in
QEMU to make the system runnable.


Regards,
DHIRAJ.



On Mon, Feb 6, 2023 at 12:12 PM Christian Helmuth <
christian.helm...@genode-labs.com> wrote:

> DHIRAJ,
>
> On Sun, Feb 05, 2023 at 15:37:08 CET, DHIRAJ PRAJAPATI wrote:
> > Now to boot the image on QEMU I first tried to get the log.img using
> > *make run/log KERNEL=hw BOARD=rpi3 VERBOSE=*
> > by adding QEMU_RUN_OPT := --include image/disk
>
> Martin suggested to use "--include image/uboot". Please follow his
> advice.
>
> Regards
> --
> Christian Helmuth
> Genode Labs
>
> https://www.genode-labs.com/ · https://genode.org/
> https://twitter.com/GenodeLabs · https://genodians.org/
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
>
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Christian Helmuth]

DHIRAJ,

On Sun, Feb 05, 2023 at 15:37:08 CET, DHIRAJ PRAJAPATI wrote:
> Now to boot the image on QEMU I first tried to get the log.img using
> *make run/log KERNEL=hw BOARD=rpi3 VERBOSE=*
> by adding QEMU_RUN_OPT := --include image/disk

Martin suggested to use "--include image/uboot". Please follow his
advice.

Regards
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · https://genodians.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[DHIRAJ PRAJAPATI]

Yes, I have these all files at var/run/log/boot/image.elf.gz, bender, and
grub.
when I execute the image.elf  (*qemu-system-aarch64 -s -display gtk
-nographic -serial null -serial mon:stdio -kernel
var/run/log/boot/image.elf -M raspi3 -m 1024)*I got the following messages
in the terminal.
But when I run log.img it got stuck at the kernel loading.
I think during the build process of log.img it creates an image.elf at
var/run/log/boot/image.elf.gz.

I hope I cleared my query, If is there anything missing please let me know.

Also, would you give some explanation about run/log and run/sculpt and why
you suggested me to go for run/log instead of run/sculpt?

On Sun, Feb 5, 2023 at 10:57 PM Michael Grunditz 
wrote:

> On Sun, 5 Feb 2023 at 15:37, DHIRAJ PRAJAPATI
>  wrote:
> >
> > Thanks, Michael for suggesting the uboot tools.
> >
> > I generated the uImage successfully.
> > Now to boot the image on QEMU I first tried to get the log.img using
> > make run/log KERNEL=hw BOARD=rpi3 VERBOSE=
> > by adding QEMU_RUN_OPT := --include image/disk
> > But could not figure out to resolve the problem that the kernel is not
> getting loaded.
> > Also, guide me if I can do something with
> uImage(var/run/log/boot/uImage) to get the GUI in QEMU.
>
> Reading your error log. Do you have a var/run/log/boot/image.elf?
>
> When it works qemu  should print messages in your terminal.
>
> Michael
>
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
>


image
Description: Binary data
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Michael Grunditz]

On Sun, 5 Feb 2023 at 15:37, DHIRAJ PRAJAPATI
 wrote:
>
> Thanks, Michael for suggesting the uboot tools.
>
> I generated the uImage successfully.
> Now to boot the image on QEMU I first tried to get the log.img using
> make run/log KERNEL=hw BOARD=rpi3 VERBOSE=
> by adding QEMU_RUN_OPT := --include image/disk
> But could not figure out to resolve the problem that the kernel is not 
> getting loaded.
> Also, guide me if I can do something with uImage(var/run/log/boot/uImage) to 
> get the GUI in QEMU.

Reading your error log. Do you have a var/run/log/boot/image.elf?

When it works qemu  should print messages in your terminal.

Michael

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[DHIRAJ PRAJAPATI]

Thanks, Michael for suggesting the uboot tools.

I generated the uImage successfully.
Now to boot the image on QEMU I first tried to get the log.img using
*make run/log KERNEL=hw BOARD=rpi3 VERBOSE=*
by adding QEMU_RUN_OPT := --include image/disk
But could not figure out to resolve the problem that the kernel is not
getting loaded.
Also, guide me if I can do something with uImage(var/run/log/boot/uImage)
to get the GUI in QEMU.


Best...,
DHIRAJ


On Sat, Feb 4, 2023 at 4:30 PM Michael Grunditz 
wrote:

> On Sat, 4 Feb 2023 at 05:58, DHIRAJ PRAJAPATI
>  wrote:
> >
> > Thanks, Martin for your quick response.
> >
> > I followed your steps and generated the
> > genode/build/arm_v8a/var/run/log/boot/image.elf.
> > While going to the real hardware I got stuck for
> > boot/uImage(var/run/log/boot/uImage) getting the following error.
> > Kindly guide me on how to proceed further.
>
> Install the tool "mkimage". In ubuntu:
> sudo apt-get install u-boot-tools
>
> Michael
>
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
>


error
Description: Binary data
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Michael Grunditz]

On Sat, 4 Feb 2023 at 05:58, DHIRAJ PRAJAPATI
 wrote:
>
> Thanks, Martin for your quick response.
>
> I followed your steps and generated the
> genode/build/arm_v8a/var/run/log/boot/image.elf.
> While going to the real hardware I got stuck for
> boot/uImage(var/run/log/boot/uImage) getting the following error.
> Kindly guide me on how to proceed further.

Install the tool "mkimage". In ubuntu:
sudo apt-get install u-boot-tools

Michael

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[DHIRAJ PRAJAPATI]

Thanks, Martin for your quick response.

I followed your steps and generated the
genode/build/arm_v8a/var/run/log/boot/image.elf.
While going to the real hardware I got stuck for
boot/uImage(var/run/log/boot/uImage) getting the following error.
Kindly guide me on how to proceed further.

Best,
DHIRAJ.


On Thu, Feb 2, 2023 at 3:29 PM Martin Stein
 wrote:
>
> I almost forgot,
>
> You might want to do this to speed up building (after having installed
> ccache):
>
> cd genode/build/arm_v8a/
> echo "CCACHE := yes" >> etc/build.conf
> echo "MAKE += -j4" >> etc/build.conf
>
> If you eventually want to go to real hardware:
>
> cd genode/build/arm_v8a/
> sed -i 's/^BOARD_RUN_OPT(rpi3)/#BOARD_RUN_OPT(rpi3)/' etc/build.conf
> echo "BOARD_RUN_OPT(rpi3) := --include image/uboot" >> etc/build.conf
> make run/log KERNEL=hw BOARD=rpi3
> ls var/run/log/boot/uImage
>
> On 02.02.23 10:02, Martin Stein wrote:
> > Furthermore,
> >
> > The corresponding boot image is this one:
> >
> > genode/build/arm_v8a/var/run/log/boot/image.elf
> >
> > Copies with additional debugging information (gdb and friends) of the
> > objects that form part of the boot image are stored in here:
> >
> > ls genode/build/arm_v8a/debug/
> > core-hw-rpi3.a  init  ld-hw.lib.so  ld.lib.so  test-log
> >
> > Here are some links for the in-depth story behind Genode on RPI3/ARMv8a:
> >
> > https://genodians.org/skalk/index -> The "ARMv8" articles
> > http://genodians.org/tomga/index -> The "Raspberry PI" articles
> >
> > Please don't hesitate to ask if you have further questions ;)
> >
> > Cheers,
> > Martin
>
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users


Error.pdf
Description: Adobe PDF document
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Martin Stein]

I almost forgot,

You might want to do this to speed up building (after having installed
ccache):

cd genode/build/arm_v8a/
echo "CCACHE := yes" >> etc/build.conf
echo "MAKE += -j4" >> etc/build.conf

If you eventually want to go to real hardware:

cd genode/build/arm_v8a/
sed -i 's/^BOARD_RUN_OPT(rpi3)/#BOARD_RUN_OPT(rpi3)/' etc/build.conf
echo "BOARD_RUN_OPT(rpi3) := --include image/uboot" >> etc/build.conf
make run/log KERNEL=hw BOARD=rpi3
ls var/run/log/boot/uImage

On 02.02.23 10:02, Martin Stein wrote:
> Furthermore,
> 
> The corresponding boot image is this one:
> 
> genode/build/arm_v8a/var/run/log/boot/image.elf
> 
> Copies with additional debugging information (gdb and friends) of the
> objects that form part of the boot image are stored in here:
> 
> ls genode/build/arm_v8a/debug/
> core-hw-rpi3.a  init  ld-hw.lib.so  ld.lib.so  test-log
> 
> Here are some links for the in-depth story behind Genode on RPI3/ARMv8a:
> 
> https://genodians.org/skalk/index -> The "ARMv8" articles
> http://genodians.org/tomga/index -> The "Raspberry PI" articles
> 
> Please don't hesitate to ask if you have further questions ;)
> 
> Cheers,
> Martin

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Martin Stein]

Furthermore,

The corresponding boot image is this one:

genode/build/arm_v8a/var/run/log/boot/image.elf

Copies with additional debugging information (gdb and friends) of the
objects that form part of the boot image are stored in here:

ls genode/build/arm_v8a/debug/
core-hw-rpi3.a  init  ld-hw.lib.so  ld.lib.so  test-log

Here are some links for the in-depth story behind Genode on RPI3/ARMv8a:

https://genodians.org/skalk/index -> The "ARMv8" articles
http://genodians.org/tomga/index -> The "Raspberry PI" articles

Please don't hesitate to ask if you have further questions ;)

Cheers,
Martin

On 02.02.23 09:48, Martin Stein wrote:
> Hi DHIRAJ,
> 
> This will run a simple test scenario on RPI3 and the base-hw kernel in Qemu:
> 
> git clone g...@github.com:genodelabs/genode.git
> cd genode
> git clone https://github.com/skalk/genode-rpi.git repos/rpi
> ./tool/create_builddir arm_v8a
> cd build/arm_v8a/
> echo "REPOSITORIES += \$(GENODE_DIR)/repos/rpi" >> etc/build.conf
> make run/log KERNEL=hw BOARD=rpi3
> 
> Cheers,
> Martin
> 
> On 02.02.23 07:47, DHIRAJ PRAJAPATI wrote:
>> Dear genodians,
>> As I saw that you already worked on the Raspberry for Genode framework,I
>> wanted to ask about that because I am also working on it.
>> I am trying the port genode having the arm_v8a support of Raspberry
>> board to run that on QEMU.
>> So I need some guidance from you on how to start and what should be the
>> roadmap for generating the boot image (.img file ) having arm 64
>> architecture which can be booted and run on QEMU.
>>
>> It would be very helpful for me if you guide me to port genode on QEMU
>> for arm_v8a.
>>
>> Regards,
>> DHIRAJ.
>>
>> ___
>> Genode users mailing list
>> users@lists.genode.org
>> https://lists.genode.org/listinfo/users
>>
> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
> 

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

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

[Martin Stein]

Hi DHIRAJ,

This will run a simple test scenario on RPI3 and the base-hw kernel in Qemu:

git clone g...@github.com:genodelabs/genode.git
cd genode
git clone https://github.com/skalk/genode-rpi.git repos/rpi
./tool/create_builddir arm_v8a
cd build/arm_v8a/
echo "REPOSITORIES += \$(GENODE_DIR)/repos/rpi" >> etc/build.conf
make run/log KERNEL=hw BOARD=rpi3

Cheers,
Martin

On 02.02.23 07:47, DHIRAJ PRAJAPATI wrote:
> Dear genodians,
> As I saw that you already worked on the Raspberry for Genode framework,I
> wanted to ask about that because I am also working on it.
> I am trying the port genode having the arm_v8a support of Raspberry
> board to run that on QEMU.
> So I need some guidance from you on how to start and what should be the
> roadmap for generating the boot image (.img file ) having arm 64
> architecture which can be booted and run on QEMU.
> 
> It would be very helpful for me if you guide me to port genode on QEMU
> for arm_v8a.
> 
> Regards,
> DHIRAJ.
> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
> 

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

Running genode on QEMU having board support of raspberry pi for arm_v8.

[DHIRAJ PRAJAPATI]

Dear genodians,
As I saw that you already worked on the Raspberry for Genode framework,I
wanted to ask about that because I am also working on it.
I am trying the port genode having the arm_v8a support of Raspberry board
to run that on QEMU.
So I need some guidance from you on how to start and what should be the
roadmap for generating the boot image (.img file ) having arm 64
architecture which can be booted and run on QEMU.

It would be very helpful for me if you guide me to port genode on QEMU for
arm_v8a.

Regards,
DHIRAJ.
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users