framebuffer session to 0 for the width & height, see
repos/ports/src/virtualbox5/frontend/console.cc update_video_mode()
Cheers,
--
Alexander Boettcher
Genode Labs
http://www.genode-labs.com - http://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer
On 25.07.2018 12:39, Roman Iten wrote:
> Hello,
>
> On 07/20/2018 09:36 AM, Alexander Boettcher wrote:
>> If you earlier request the framebuffer dataspace, you will get an
>> immediate visible window resize effect.
>
> In [1] the framebuffer dataspace is request
t...
Info: Not using supported FPU as FPU is disabled in the build configuration
Bootstrapping kernel
Booting all finished, dropped to user space
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HR
Sorry,
https://github.com/alex-ab/genode/commit/460d6b3942314f113015d37db475cee24e4d851c
should fit better.
On 20.07.2018 09:03, Alexander Boettcher wrote:
> Hello,
>
> On 19.07.2018 13:13, Harsha Sharma wrote:
>> Hello,
>>
>> I get the following error when child
I
> changed the alpha attribute of nit_fader in /config/leitzentrale from 0
> to 100. But then I cannot grab the window resize handle any more to
> trigger the log output...
What about starting just the noux pkg from the /config/deploy next to
the Virtualbox pkg and make there a "tail
equested
if for some reason the IRQ can't be setup, you are right, the session
creation request should fail and no session capability should be
provided. Please give the commit [0] a try.
[0]
https://github.com/alex-ab/genode/commit/e3f86634ef5d55feb16853872c2693667c10545d
Regards,
--
Alexander
n(paulptr++);
whatever you try to do here, it is wrong.
You take a reference as input (Quota ), store it in a static and
later on just increment the static. Whatever lies behind Quota
stored in the static will wrongly read and/or overridden/corrupted !?
(If you tried to use paulcache, it is not used.)
ctions under which it should appear?
>
> Regards
> Tomasz Gajewski
>
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
>
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Lab
lpt TC in a VM should be sufficient.
[0]
https://genode.org/documentation/articles/sculpt-tc#Hardware_requirements_and_preparations
[1] http://usr.sysret.de/jws/genode/hcl.html
Cheers,
--
Alexander Boettcher
Genode Labs
http://www.genode-labs.com - http://www.genode.org
Genode Labs GmbH - Amtsgerich
eem to be a feature check
missing. If you adhere to the Intel manual documentation, you should be
able to implement and test this check.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dres
Hello,
On 13.10.2018 01:07, baconicsynergy--- via users wrote:
> Is there a list of hardware that Genode is known to function properly on?
> What laptop(s) does Genode run on the best? I can't find any on genode.org :3
try
http://usr.sysret.de/jws/genode/hcl.html
Cheers,
--
Ale
On 11.10.2018 14:59, Roman Iten wrote:
> On 10/10/18 11:11 AM, Alexander Boettcher wrote:
>> I suspect your embedded controller together with ACPI irq handling, but
>> it is just guessing.
>
> The freeze occurs on the XPS 13 9350 but not on the newer model 9370.
> And now
t interfaces).
Cheers,
Alex.
[0] https://www.genode.org/documentation/genode-foundations-18-05.pdf
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Chris
he UEFI firmware in the past.
So, either try to use some older Qemu version first or try to re-build
the UEFI firmware as described by the Tianocore project.
Good luck,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht D
rthermore, if required, the placement of the multiple driver instances
on specific cores (e.g. pinning) becomes obvious - and easy.
At the end, I think that the driver code will become much easier to read
and to grasp and this will pay off later during maintenance time.
Of course, if you are
> Do you have some suggestions how to debug the problem?
does it happen with or without acpica as app running ?
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Gesch
On 09.10.2018 15:03, Roman Iten wrote:
> On 10/9/18 1:50 PM, Alexander Boettcher wrote:
>>> So it turns out that at least pressing FN+F8 (toggle? display), FN+F11
>>> (decrease brightness) and FN+F12 (increase brightness) render the system
>>> unusable.
>>
>
Hi,
On 9/12/18 6:04 PM, Roman Iten wrote:
>> I updated the quotas accordingly [1]. With the resolution limitation to
>> 1920 still in place, the resource requests are gone and as far as I can
>> tell everything looks reasonable - except the page fault [2].
>
> I tried the same quotas without the
list.
> What would all of you like to see on the list?
I would like to see Thunderbird running natively. Up to now I have it
only in a small/tiny disposal VM, similar to that what I posted on
www.genodians.org some days ago.
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-
nobody asked for this feature,
it just went unnoticed. Fell free to enable it and see where you get. At
least no blockers are known.
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424
On 08.03.19 11:25, Valery V. Sedletski via users wrote:
> On 07.03.19 23:10, Valery V. Sedletski via users wrote:
>> Alexander Boettcher wrote:
>> I could reproduce it after same configuration changes in the UEFI BIOS
>> of my test T420. When I set in the UEFI/BIOS
c.img you mention here.
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
___
Gen
ent for details:
https://lists.genode.org/pipermail/users/2019-July/006809.html
In the Sculpt OS documentation at the end of the chapter "Getting a
first impression" you will find pointers for usage of Virtualbox on
Sculpt (which runs on Genode/NOVA).
Cheers,
Alex.
--
Alexander Boettche
sufficient, you
would need to adjust
repos/os/recipes/raw/drivers_interactive-pc/drivers.config and rebuild
the package.
The interactive scenarios we don't regularly manually execute for
-Genode/seL4-, so you may encounter such resource requests for such non
automated run scenarios again.
Hope it helps,
the filesystem on your USB stick as described in the
Sculpt documentation [0] ?
[0]
https://genode.org/documentation/articles/sculpt-19-07#Storage_device_access_and_preparation
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amts
Sorry, the link was one section off
[0]
https://genode.org/documentation/release-notes/18.05#Accessing_PCI_via_ECAM_MMCONF
On 05.09.19 20:41, Alexander Boettcher wrote:
> Hello Sid,
>
> because of [0] you need with 18.05 a valid MCFG ACPI table to run Genode
> on x86. The ge
r {binaries} {
set fh [open "[run_dir]/boot/grub/grub.cfg" "WRONLY CREAT
TRUNC"]
puts $fh "set timeout=0"
# tell grub2 to prefer 32bit framebuffer resolution
- puts $fh "set gfxpayload=\"0x0x32\"
cd5f617f097144
[1] tool/depot/create genodelabs/pkg/x86_64/drivers_interactive-pc
CROSS_DEV_PREFIX=/usr/local/genode/tool/19.05/bin/genode-x86- -j4
UPDATE_VERSIONS=1 FORCE=1
[3] https://lists.genode.org/pipermail/users/2017-March/005074.html
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - http
@32 type=1
As you see, the resolution was setup by grub2 to my internal display
resolution.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christi
On 16.09.19 20:40, Alexander Boettcher wrote:
> As said, if Qemu manages to switch on the graphic mode you are fine.
sorry, Qemu -> Grub2
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz D
updated "etc/build.conf" so that 'KERNEL=sel4',
> 'BOARD=linux', parallel build is enabled and added 'RUN_OPT += --include
> image/iso'
the BOARD variable is meant to describe the target, which is in your
case a native PC - so 'BOARD=pc' should help here.
Cheers,
--
Alexander
.org/c/coreboot/+/35286
>
> On Thu, Sep 5, 2019 at 11:41 AM Alexander Boettcher
> wrote:
>>
>> Hello Sid,
>>
>> because of [0] you need with 18.05 a valid MCFG ACPI table to run Genode
>> on x86. The general answer is, that coreboot or companion m
]
repos/base/include/spec/x86_32/cpu/cpu_state.h
repos/base/include/spec/x86_64/cpu/cpu_state.h
repos/base/include/spec/arm/cpu/cpu_state.h
repos/base/include/spec/arm_64/cpu/cpu_state.h
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH -
approaches [0] that work across kernels.
Best regards,
Alexander Boettcher.
[0] https://lists.genode.org/pipermail/users/2019-September/006931.html
[1] https://lists.genode.org/pipermail/users/2019-September/006930.html
On 27.09.19 12:05, Alexander Tormasov via users wrote:
> Thank
, whenever possible.
Those are my plans/ideas so far.
Cheers,
Alex.
[0] https://github.com/genodelabs/genode/issues/1806
[1] https://genodians.org/alex-ab/2019-12-23-top-view
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht
d BIOS legacy way, Sculpt will use the fb_drv with a
fixed pre-defined resolution.
Thanks Colin for the hint,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsfüh
-> runtime -> vbox5-nova-sculpt -> vbox] Warning: No virtualization
hardware acceleration available
before the messages you posted, then you forgot to enable nested virtualization.
You need qemu+kvm for that to work. At least at Genode Labs nobody use it that
way, we prefer to run on real HW.
20.08 tag) and is on master already. The prebuilt Sculpt image contains
the fix already.
Cheers,
Alex.
[0]
https://github.com/genodelabs/genode/commit/2afba3c137f59a296227c1b62ca108b535cfbb2d
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode
1ed8 (from 0x1ffe1ed8) size 0xf4
If for your FACP/FADT table not the whole memory is mapped, you will have to
look into
repos/os/src/drivers/acpi/memory.h to understand and fix the issue.
Hope it helps,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.
};
you see that the Reset_* types are behind the tables, namely at offset 0x74,
0x78, 0x80.
Do you like to open an issue and provide a patch ?
Thanks for investigation,
Alex.
>>
>> Since the reset values are not used anywhere in the code, you could just
>> comment out the 3 lin
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users
>
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäfts
On 19.06.20 13:11, Parfait Tok wrote:
> Hi Alex,
>
>
> Le ven. 19 juin 2020 à 10:55, Alexander Boettcher <
> alexander.boettc...@genode-labs.com> a écrit :
>
>>
>> look into build/x86_64/debug directory. There you find the hypervisor
>> bina
lopers and of course users of
> Genode.
>
> How do you perceive the outcome of the year?
>
> What areas would you wish to concentrate on?
>
> Where do you see untapped potential of Genode?
>
> How do you envision Genode in December 2021?
>
>
> I would very much
by ARM) in our own base-hw kernel.
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
seoul] VMM: # [ 0] CORE:0:0:0 6:7:3:0 [0] Seoul VMM proudly presents
this VirtualCPU.
...
I hope this helps.
Cheers,
Alex.
> How is it supposed to work?
> Please, find attached the output log as well as the script files I used.
>
>
> ________
rently used screen resolution in Sculpt and potentially additional UI
work.
[0] https://genode.org/documentation/release-notes/15.02
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz
ct? Does anyone have any guidance on where to start?
In principle yes. First find out which touch device you have for your target
hardware. Write or port the touch driver. You may have a look into our usb_hid
driver, which has the USB touch Wacom driver already enabled via the dde_linux
appr
ot/grub/grub.cfg file of your new (GENODE) ext2 partition or
chain load just the whole configuration. If you succeed with that, you will
have during boot your Linux boot entry and a Sculpt boot entry.
As you see, it efforts some manual steps, but I hope the pointers help.
Cheers,
Alex.
sculpt-vc#Sculpt_as_a_hardware-probing_instrument
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
on/developer-resources/porting_device_drivers#Further_preparations
for the basic idea.
In your case, it is done in repos/dde_linux/lib/mk/usb_hid_include.mk.
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genode-labs.com - https://www.genode.org
Genode Labs GmbH - Amts
mand in https://github.com/dckc/genode-js-xs/pull/12
Any clues on how to diagnose / fix? What does (ld="no") mean?
Does readelf -l hello shows a DYNAMIC program header ?
In case your file is statically linked, you need the ld="no" option, e.g.
...
Cheers,
Alex.
--
Alexa
with one of our next toolchain updates. You
may try [0] as a workaround, which uses Genode's toolchain instead of the host
one.
Hope it helps,
Alex.
[0]
https://github.com/alex-ab/genode/commit/993404ade10bbf2a575f0a4d61ddff68f3175c68
On Tue, Aug 3, 2021, 1:42 PM Alexander Boettcher <
ale
.
[0] repos/libports/src/lib/libc/pthread.cc
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
e the versions of your python2
and the host tool chain ?
Cheers,
Alex.
[0]
genode/contrib/seoul-800924f3dc293d6c21d4e15fac0605ad4d7269b9/src/app/seoul/executor/build_instructions.py
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://
and patch seL4 sources and get them
upstream. Once we update to a newer seL4 version, we would get your changes
automatically.
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing
Best regards,
Pirmin
[1] https://up-board.org/up-xtreme-edge-compute-enabling-kit/
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
en bin/fb_drv.config w]
puts $fd {}
close $fd
#
# Pin the nitpicker focus to the window manager by providing a static focus
ROM
#
set fd [open [run_dir]/genode/focus w]
puts $fd " focus\"/>"
close $fd
set boot_modules {
rtc_drv ld.lib.so
virtualbox6 libc.lib.so vfs.lib.so libm.lib.so libiconv.lib.so stdcxx.lib.so
qemu-usb.lib.so virtualbox6-shaderlib.lib.so vfs_rump.lib.so vfs
fs_rom fb_drv.config vm.vbox rump.lib.so rump_fs.lib.so rom_logger
dynamic_rom fs_query
}
# platform-specific modules
lappend_if [expr $use_top] boot_modules top
append_if [expr $use_serial] boot_modules { log_terminal }
append_if [expr $use_overlay] boot_modules { overlay.vdi }
lappend boot_modules pci_audio_drv
lappend boot_modules ahci_drv
lappend boot_modules vfs_block
lappend boot_modules nic_router
lappend boot_modules ipxe_nic_drv
build_boot_image $boot_modules
run_genode_until forever
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
with the following launcher:
Does someone have an idea what I could change to prevent the error?
Regards, Pirmin
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander
may print the thread
name of the caller and make a Genode::backtrace() to find the source.
Hope it helps,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
OpenPGP_0xBB4DE7FF9FF6ED5E.asc
Description: OpenPGP public key
_
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
,
Alex.
Thank You
Best Regards
Maigurs
On 11 Oct 2022, at 18:05, Alexander Boettcher
wrote:
Hello,
please try to install on your host the ssl-dev package, on Debian e.g.
apt install libssl-dev
For me also libelf was missing, e.g.
apt install libelf-dev
Hope it helps,
Alex
enarios like Sculpt OS (x86)
- native Qemu port for cross architecture development
- Further Seoul VMM cultivation
- AMD display and GPU support
- make some proof of concept work ready for Genode upstream
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - htt
uild_boot_image { test-fb_bench }
+set fd [open [run_dir]/genode/platform_info_my w]
+puts $fd {
+
+
+
+
+}
+close $fd
+
+build_boot_image { test-fb_bench boot_fb_drv }
Hope it helps,
Alex.
--
Alexander Boettcher
Genode Labs
ht
Block provider, e.g. as an example
(taken from my setup):
The example routes the request to a running part_block using a ahci device,
which provides partition 7 as a separate Block service.
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.geno
Hi Dan,
On 30.01.23 16:09, Dan Connolly wrote:
On Mon, Jan 30, 2023 at 2:52 AM Alexander Boettcher
wrote:
You may rewrite the label to your actual Block provider, e.g. as an example
(taken from my setup):
Yes, my config is like that (with 1 rather than 7), and now that I
restart
message). Afterwards, VBox6 goes out of service and complains that some
internal state is wrong. Typically this message means that a mis-configuration
happened or one of the configured routes are not valid.
Cheers,
--
Alexander Boettcher
Genode Labs
ht
Hi Dan,
On 1/31/23 7:38 AM, Dan Connolly wrote:
On Mon, Jan 30, 2023 at 2:08 PM Alexander Boettcher
wrote:
[...]
In your vbox6 configuration file, you have to use one VMDK per Block device. So
in your case it would be 3 different VMDK files.
Really?
https://genodians.org/jschlatow/2021-04
would need to cherry-pick/pack-port the commit and rebuild vbox6 to try it
out.
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.or
On 3/10/23 2:16 PM, Alexander Boettcher wrote:
On 3/9/23 6:37 PM, Devashish Dewangan cs21m017 wrote:
Dear Genodians,
I am unable to connect to network while running the sculpt 22.10 x86
image
provided by genode in QEMU. But I am able to connect to the network while
using the sculpt.ova
version on which Linux distro).
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
I'm getting a static ip, but still not able to connect. I'm attaching the
screenshot below.
On Fri, Mar 10, 2023 at 7:02 PM Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:
On 3/10/23 2:16 PM, Alexander Boettcher wrote:
On 3/9/23 6:37 PM, Devashish Dewangan cs21m017 wrote:
, and nothing more happens.
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
-> Cpu:
- Core Multi-Processing [Enabled]
- Hyper-Threading [Enabled]
- Virtualization [Enabled]
- Vt-d [Enabled]
Config -> Intel AMT [Enabled]
On 02.03.23 02:25, dogma--- via users wrote:
March 1, 2023 at 7:17 AM, "Alexander Boettcher"
wrote:
Hi,
On 28.02.23 14:46, dogma--- via
a_hardware-probing_instrument
[1] https://genodians.org/chelmuth/2019-01-16-test-machine
[2]
https://genode.org/documentation/articles/sculpt-22-10#Building_the_boot_image
February 28, 2023 at 12:55 PM, "dogma--- via users"
wrote:
February 28, 2023 at 8:16 AM, "Alexander Boe
)!
Thanks for testing and reporting back !
Cheers,
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
ages/intel_display_5_14.img
[6] https://genodians.org/chelmuth/2019-01-16-test-machine
The used branches of [3][4][5] are available via at
https://github.com/alex-ab/genode,
branch intel_display_5_14, intel_display_6_1, intel_display_6_1_drm_kms.
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - h
Hello,
thanks for the feedback and testing, very appreciated.
Alex.
On 4/6/23 10:48 PM, dogma via users wrote:
On 2023-04-06 13:19, Alexander Boettcher wrote:
Hello,
currently we are testing our updates of ported Linux drivers
[https://github.com/genodelabs/gnode/issues/4798] on various
Hello again,
On 02.06.23 16:34, Alexander Boettcher wrote:
So then I simply tried to boot from a prebuilt image and upon booting I
couldn't get past the Genode boot.png
I'm running on a Lenovo YOGA intel i7-8565U, building on Void Linux.
it seems to be an very early boot issue, which
ch appreciated.
Dave
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode use
not boot on my desktop machine either, but
they do boot on my old Thinkpad X230.
I will try the debug.img as soon as I can and will let you know the
results.
Thanks,
Dave
On Fri, Jun 2, 2023 at 5:30 PM Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:
Hello again,
On 02.06.23
Cheers,
Dave
On Tue, Jun 6 2023 at 07:53:40 +0200, Alexander Boettcher
wrote:
Hello,
another option, I forgot to mention, is to try to setup the report_dump
component [0]. In case Sculpt OS comes up far enough, it would dump all logs
kept in memory to your USB stick, which can be extracted
serial interface
after resume for doing the debugging job ...
So for now, I think you should consider this feature experimental, as
you guessed already.
Cheers,
Alex.
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
ollowed the example in repos/ports/run/vbox5_genode_usb_hid_raw.run.
Thanks,
Colin
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - htt
s or even concrete plans?
How and where would you like to see Genode at the end of 2024?
Cheers
Norman
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
https://lists.genode.org/listinfo/users
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
ts/intel/uncore_snb.c
[1] contrib/seoul/src/app/seoul/model/vcpu.cc
Any ideas on how to fix it? Thanks!
--
Best Regards
Ivan Loskutov
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users
--
Alexander Boet
https://communities.vmware.com/t5/VMware-Workstation-Pro/Workstation-17-Pro-Error-capacity-mismatch-for-disk/td-p/2985815
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
users mailing list -- users@lists.geno
/documentation/release-notes/16.02#Assignment_of_USB_devices_to_virtual_machines
[5] https://www.kraxel.org/blog/2021/05/qemu-cut-paste/
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
users mailing list -- users@lists.genode.org
To
the default in your
build//etc/build.conf. Afterwards the standard Virtuabox UI on a
native Linux is used to setup your VM and add this VMDK as disk. If all
is fine and tested to be runnable, you use the Virtualbox UI to export
the "appliance" as OVA. That's it.
Cheers,
Alex.
--
A
/QXLNTC34LKJGVX2N23IITDL7T2EM2YBZ/
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-le...@lists.genode.org
Archived at
https://lists.genode.org
yperkitty/list/users@lists.genode.org/message/I53XHPOJSJ7XMSAXMGUMIMLLSPKIMFVA/
--
Alexander Boettcher
Genode Labs
https://www.genodians.org - https://www.genode.org
___
users mailing list -- users@lists.genode.org
To unsubscribe send an email to
92 matches
Mail list logo