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

2024-12-01 Thread Paul Dufresne via users
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

2024-12-01 Thread Paul Dufresne via users
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

2024-12-01 Thread Paul Dufresne via users
I have tried with adding the ! at the beginning of the line. No real change. I have taken some notes: gpu_intel announce Platform MGCC_0_2_0_PCI   Grahics_mode_select: 0x0   Gtt_graphics_memory_size: 0x3   Versatile_acceleration_mode_enable: 0x0   Igd_vga_disable: 0x0   Gdc_lock: 0x1 ... fb_client

Re: i3-8100 should be GPU supported

2024-12-01 Thread Paul Dufresne via users
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 warnings in report after booting: >

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

2024-12-01 Thread Ivan Loskutov
Hi, You need to change QEMU_RUN_OPT in build/x86_64/etc/build.conf to image/disk instead of image/iso. -- Best Regards Ivan Loskutov On Sun, Dec 1, 2024 at 5:44 PM Paul Dufresne via users wrote: > > make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc > got me: > [paul@betakard genode]$ ls -lh

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

2024-12-01 Thread Paul Dufresne via users
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

2024-12-01 Thread Paul Dufresne via users
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

2024-12-01 Thread Paul Dufresne via users
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: ports/libc.port:40: *** Need to have 'rpcgen' installed

2024-12-01 Thread Cedric At TTS via users
Bonjour Paul, > /home/paul/genodemy/genode/repos/libports/ports/libc.port:40: *** Need to > have 'rpcgen' installed.. Arrêt. I, too, often build on systems that don't have rpcgen. Downloading/compiling from this link: https://cgit.freebsd.org/src/tree/usr.bin/rpcgen does it for me. There's prob