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.
Hi DHIRAJ,
This will run a simple test scenario on RPI3 and the base-hw kernel in Qemu:
git clone git@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
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 git@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
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
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 martin.stein@genode-labs.com 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
On Sat, 4 Feb 2023 at 05:58, DHIRAJ PRAJAPATI dhirajprajapati96@gmail.com 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
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 michael.grunditz@gmail.com wrote:
On Sat, 4 Feb 2023 at 05:58, DHIRAJ PRAJAPATI dhirajprajapati96@gmail.com 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
On Sun, 5 Feb 2023 at 15:37, DHIRAJ PRAJAPATI dhirajprajapati96@gmail.com 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
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 michael.grunditz@gmail.com wrote:
On Sun, 5 Feb 2023 at 15:37, DHIRAJ PRAJAPATI dhirajprajapati96@gmail.com 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
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
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.helmuth@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
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 dhirajprajapati96@gmail.com À : Genode users mailing list users@lists.genode.org 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.
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 <christian.helmuth@genode-labs.com mailto:christian.helmuth@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 <mailto:users@lists.genode.org> https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
... 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 <christian.helmuth@genode-labs.com mailto:christian.helmuth@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 <mailto:users@lists.genode.org> https://lists.genode.org/listinfo/users
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
-
Christian Helmuth -
DHIRAJ PRAJAPATI -
Martin Stein -
Michael Grunditz -
ttcoder＠netcourrier.com