Re: Why I think producing a .img is better than an .iso

Ok, so I was wrong... writing the .iso file on a USB key will work if booted in MBR mode (legacy) rather than UEFI. Still as I see it, we have the choice between what we do now: -make an .iso that boot on MBR only when written to an USB stick -works as an emulated "CDROM"  on QEMU -works on a rea

Re: Foundations book, try to write an .iso on an usb stick, won't work

Le mar., 03 déc. 2024 10:43:18 -0500 Paul Dufresne via users a écrit I felt a bit wrong about suggesting to use sdb in a dd command. I know people here are likely to know that they are risking to erase their hard disk by mistake doing this... At first I wanted to suggest to use: https

Re: Foundations book, try to write an .iso on an usb stick, won't work

Le mar., 03 déc. 2024 09:14:03 -0500 Cedric At TTS via users a écrit > Re-bonjour :-) > > > sudo dd if=var/run/demo.iso of=/dev/ bs=8M conv=fsync When I copied, the part was removed, recopying it now: sudo dd if=var/run/demo.iso of=/dev/ bs=8M conv=fsync > > > > I am pretty

Foundations book, try to write an .iso on an usb stick, won't work

2.4, page 28: As suggested by the arguments, the scenario is supplied to Qemu as an ISO image re- siding at var/run/demo.iso. The ISO image can not only be used with Qemu but also with a real machine. For example, creating a bootable USB stick with the system scenario is as simple as writing the

Ré : device_gem_get_aperture_size ( 4 KB ) is not properly accounted: black window

Checked in "BIOS" GPU memory size was 64Mb Enabled: VT-D, multiple monitors, >4Gb decoding No real change however Noted more messages: GGTT vaddr: 0x1180 size:0x80 entries: 1048575 used:57344 aperture_size: 0x1000 scratch_page: 0xC800 ... Warning: no clock gating ... disabling

device_gem_get_aperture_size ( 4 KB ) is not properly accounted: black window

diff --git a/repos/gems/sculpt/gpu/intel b/repos/gems/sculpt/gpu/intel index 27068b043f..b3ac52aafa 100644 --- a/repos/gems/sculpt/gpu/intel +++ b/repos/gems/sculpt/gpu/intel @@ -1,4 +1,5 @@ + --- a/repos/os/src/driver/gpu/intel/main.cc +++ b/repos/os/src/driver/gpu/intel/main.

Re: i3-8100 should be GPU supported

... fb_client_hotplug: error on modeset commit -22- unknown error Le dim., 01 déc. 2024 13:38:03 -0500 Paul Dufresne via users a écrit > Le ven., 29 nov. 2024 14:26:33 -0500 Sebastian Sumpf a écrit > > > Hello Paul, > > > > On 29.11.24 19:55, Paul

Re: i3-8100 should be GPU supported

Le ven., 29 nov. 2024 14:26:33 -0500 Sebastian Sumpf a écrit > Hello Paul, > > On 29.11.24 19:55, Paul Dufresne via users wrote: > > Le ven., 29 nov. 2024 11:38:53 -0500 Paul Dufresne via users a écrit > > > > > I noted some wa

Ré : compiling got me a sculpt.iso file, wanted a scult.img file

Ok found: /home/paul/genodemy/genode/repos/gems/run/sculpt_image.run But still I get: [paul@betakard genode]$ LANG=C make -C build/x86_64 run/sculpt_image KERNEL=nova BOARD=pc make: Entering directory '/home/paul/genodemy/genode/build/x86_64' including /home/paul/genodemy/genode/tool/run/power_on/

compiling got me a sculpt.iso file, wanted a scult.img file

make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc got me: [paul@betakard genode]$ ls -lh build/x86_64/var/run total 614M drwxr-xr-x 1 paul paul8 1 déc 11:19 sculpt -rw-r--r-- 1 paul paul 452M 1 déc 11:19 sculpt.boot_modules.o -rw-r--r-- 1 paul paul 20K 1 déc 11:19 sculpt.config -rw-r--r-

Re: ports/libc.port:40: *** Need to have 'rpcgen' installed

Le dim., 01 déc. 2024 05:02:20 -0500 Cedric At TTS via users a écrit > Bonjour Paul, Impressed by the use of french... nice touch! > > /home/paul/genodemy/genode/repos/libports/ports/libc.port:40: *** Need to > > have 'rpcgen' installed.. Arrêt. > > I, too, often build on sy

Re: Closing Falkon preset on FS-RAM cause Genode hang (fixed)

Le sam., 30 nov. 2024 13:09:34 -0500 Alexander Boettcher a écrit > Hi Paul, > > I uploaded a new image which fixes the hang for me. If you want to try, use > the Sculpt OS online update mechanism, e.g. > > System -> Update -> alex-ab url -> 2024-11-30 Took 2024-11-30a... s

ports/libc.port:40: *** Need to have 'rpcgen' installed

make run/sculpt asked me to prepare libc (among many) but: libarchive install include/libarchive /home/paul/genodemy/genode/repos/libports/ports/libc.port:40: *** Need to have 'rpcgen' installed.. Arrêt. make[1]: *** [/home/paul/genodemy/genode/tool/ports/mk/prepare_single_port.mk:43: _install_

Still using Python2?

Was following https://genode.org/documentation/developer-resources/getting_started [paul@betakard genode]$ LANG=C make -C build/x86_32 KERNEL=okl4 BOARD=pc run/demo make: Entering directory '/home/paul/genode/build/x86_32' including /home/paul/genode/tool/run/power_on/qemu including /home/paul/g

Re: i3-8100 should be GPU supported

Le ven., 29 nov. 2024 11:38:53 -0500 Paul Dufresne via users a écrit > I noted some warnings in report after booting: > -No supported Intel GPU detected... unexpected because i3-8100 is 8th gen, > so was expected to be supported Note: /config/gpu does not list my Coffeela

Re: Closing Falkon preset on FS-RAM cause Genode hang

> Maybe I should try in QEMU. Did not tried much, but was not able to reproduce there. > Might try your Report tool that save on USB stick if I am able to configure > it right. Was not able to configure it right... like when adding getting an Exception path too long. Hang happens about 40% o

Re: Closing Falkon preset on FS-RAM cause Genode hang

I tried it a second time: -Stop USB FS -Start FS-RAM -Enable Network -System/Preset Falkon -Add Nano3d on Background -F12 to switch to Falkon Did not visit web sites. -Click close button Nano3d stopped, with the rest of the system. Unsure if I am using gpu-intel or not... the system CPU have integ

Re: Ré : Youtube under 24.10.2

--Ven., 29 nov. 2024 05:28:09 -0500 Josef Söntgen wrote > Hello Paul, > > Also, at the end of my session, when I closed Falkon, the full system > > seems to have hand... mouse cursor not moving anymore, F12 not > > reacting... Ctrl-Alt-Del not working > > but maybe it (Ctrl-Alt-Del

Ré : Youtube under 24.10.2

Hi! Although I have been following a bit the project for many years, frankly I was a bit put away by the user interface of Sculpt. I am slowly beginning to get used to it... maybe almost like it. So, I did not test it much for a long time, and today decided to try it. At first in QEMU... then

A simple window manager

I was thinking about an old idea, for a very simple screen manager... and it is becoming even a bit more complete. So I would like to share it with you... because I think it would be a nice fit for Genode. So at first I was thinking a very simple model... -Almost all the screen for one applicat

Re: compiling problem on run/demo

I was not able to find a libsupc++ from Fedora. I finally: sudo cp /usr/local/genode/tool/19.05/x86_64-pc-elf/lib/64/libsupc++.* /usr/lib64/ and it seems to work. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listin

Re: compiling problem on run/demo

Le 20-05-11 à 06 h 01, Christian Helmuth a écrit : This error stems from your host systems GCC installation and tells us that it is not possible to link a simple static C program. May it be you missed to install the Fedora equivalent of Ubuntu libc6-dev? You need a file named libc.a in your libra

compiling problem on run/demo

Hi! I am coming back to Genode after a few year of absence. I am on Fedora 32, x64 architecture. So I installed: genode-toolchain-19.05-x86_64.tar.xz , downloaded genode-20.02 (tought I first it was the toolchain...). Then began to read: https://genode.org/documentation/genode-foundations/19