users

users@lists.genode.org

2 participants
2322 discussions

General Improvements for Sculpt
by Edoardo Mantovani 24 Mar '21

24 Mar '21

Hello everyone, Sorry for the late general reply, but I needed some days to elaborate on some of my ideas for Sculpt os. In those days I've tested almost every package available on depot, I must say some things referred for falkon browser: it is nice and probably the most interesting software in the entire distribution, but I think that disabling JS by default could be a really nice step for a more lightweight approach (which follows sculpt "style"), I've tested the frames and the browser speed through online tests and lichess duels, seems to go quite well, only small downside: sometimes it tends to stuck or stop the internet connection but is often a temporary problem, not persistent. PS I don't know why but when I've done the browser fingerprint, I found that the browser is effectively installed on Genode, have you set any identificative User Agent (or similar) for that? I don't know if "Chocolate Doom" is the homonymous video game, but unfortunately I wasn't able to play it cause an infinite "I_init: setting up machine state", the audio driver was the bsd_audio_drv while the wm was the themed_wm (internet connection under nic_router), do you know if I am doing anything wrong? I am not big fans of video games, but I would like to try it! Another few general considerations: the learning curve of Sculpt is pretty fast, I don't know why, but after few days I increased the feeling with the OS, the documentation played a fundamental role in it, Have you thought to implement also a touch screen mode for Sculpt? may be extremely interesting for smartphones. One good point is the "inspect" shell, fast and portable, I like it, only one problem: too few tools under /bin are available, apart vim, there is not many things you can do with it, my idea for fixing that could be to add few more useful tool: one idea could be the microsed implementation, it is around 25kb and permits to modify files through Regexp, only downside for this implementation: still many commands crashes (-e is an example). (sorry for the zip of the last time, I had not the idea of how peoples are suspicious on compressed files haha), the files are sed.h, sedcomp.c, sedexec.c and the relative Makefile; Another hint: upgrade the md5sum (maybe in the future) to something more secure, I don't know if Sculpt uses it for more complex (and security related) tasks but is strongly discouraged. I started to test the Xoroshiro PRNG you use for the OS internals, in general is quite secure, it is interesting to see its generation with a "0" seed. I'll search for some weakness on it in those days. Final suggestion: One day I tried to install as much software as I can on Sculpt, the result was quite strange, I wasn't able to scroll down the Leitz. enviroment, do you know if is possible to do it? { the photo is 5ECB60B5-C98C-496D-9A9D-ECB617AD6809 } Now I have more technical questions: Josef, I started yesterday studying how Genode handles wifi connections, it is almost identical to Linux, for the software stack (mac80211 and cfg80211) but I haven't understood why in firmware.cc ( the text file you linked to me ), in Fw_list struct some firmware images have NULL as available name while others have their correspondent name? Are still unimplemented some models ? I would like to start writing a software stack for BLE, any hints? Bluez could be a good starting point but honestly, I have no idea of how to port it on A non Unix system. Martin, I've finished the Wikipedia page translation, is the Wikipedia_it file, I've chosen to write it in Markdown language, let me know if is good. I've tried to adjust it as much as I can, let me know (I don't know if the format is legible by any Markdown interpreter). Norman, As the first thing, I've started to port a working Italian layout keyboard, the current version is in the email attachment (file: it_IT.chargen), only problem, certain letters are unavailable (like è, ò, à, ù, § and £), could you try to fix it? the big works for upper keys is already done and tested, (everything works well). Another few things to ask: Do you confirm that Sculpt, for now, has NO API or syscall available? it would be pretty useful for me to write tools in C with a nice syscall system, my idea could be to implement a programming language designed only for this OS which offers both high and low-level capabilities, (like Inferno's os Limbo programming language), I've started thinking on it, if you agree, in the next days I can try to design the main body of it (in PURE c, the best by test). Replaying the Bluetooth part: I agree with you, the big advantage you could gain by Bluetooth depot system consists on the practicality: think that the latest version of Bluetooth (5.0.X) can trace a device distance measurement by triangulation and, if we join this to the OBEX protocol, I think that a secure (and maybe native) application which show the nearest device which could act as depot server could be an interesting point, also think on the possible growth of a 24h connected (similar)"peer to peer" network system for discovering near possible Genode applications. [ Yes, not every device support BLE nor Bluetooth 5.0.X but for an incoming future could be a great idea] Let me know what you think, Regards, Edoardo Mantovani, 2021 -- Edoardo Mantovani Independent security researcher email: Baseband(a)cpan.org Urbino, Italy

7 37

error when trying out cbe
by Stefan Thöni 19 Mar '21

19 Mar '21

Hi Genodians I'm currently looking into CBE and have read the articles and release notes about it. Now I'm trying it out using the vfs_cbe_init and vfs_cbe runscripts on genode 21.02. When running vfs_cbe i get the following error: [17:28:25.837] [init -> initialize_cbe -> init -> vfs_cbe] Error: Exception raised: explicit raise in cbe-block_io.adb:753 [17:28:25.837] [init -> initialize_cbe -> init -> vfs_cbe] Error: Uncaught exception of type 'Ada::Exception::Program_Error' What am I missing? Kind regards Stefan -- Freundliche Grüsse Stefan Thöni Chairman of the Board Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 4

What I want to do.
by Michael Grunditz 08 Mar '21

08 Mar '21

Hi Genodians, I would like to tell you what I am trying to achieve. I want to have Genode as a service system for RISC OS. When aarch32 is dropped from Cortex cpu's it will also provide emulation services. Right now I run RISC OS fully natively on core 1 and Genode on core 0 (A53). The reason for doing this on iMX8M is that it , since a week or so , is supported by both systems. Besides drivers , I also want to take advantage from some apps. A good example is a webbrowser. Genode is much better suited to run such applications. The idea is to run render and network tasks on Genode , but with a RISC OS allocated buffer as its framebuffer. On RISC OS it will look and feel like a native app. It will also be a base for converting RISC OS kernel to C. By trapping SWI's from RISC OS to Genode I can implement them in C/C++. The goal is to have as much as possible running natively on aarch64. Today the RISC OS kernel is assembler. I want to keep the RISC OS experience as it is today, and this hybrid solution is a experiment to see how it all can be solved. If you don't like this project , please tell me now! -- Michael Grunditz Sent from my RISC OS workstation..

4 10

Genode at virtual FOSDEM 2021
by Norman Feske 08 Mar '21

08 Mar '21

Hello everyone, the annual FOSDEM in Brussels and the microkernel developer room in particular is almost a mandatory date for us. Instead of gathering in Brussels, this year, crowds of Free-Software and Open-Source enthusiasts will hold a virtual event. The FOSDEM organizers are restless with setting up virtual counterparts of important FOSDEM features like developer rooms and even hallway meetings. FOSDEM is free for everyone. FOSDEM 2021, February 6 and 7 https://fosdem.org/2021/ The microkernel developer room is shepherded by Martin Decky of the HelenOS project, who announced a call for participation in November. You may have noticed his posting on this mailing list. It goes without saying that we at Genode Labs urged to contribute. In the meantime, the schedule of the developer room has been decided. https://fosdem.org/2021/schedule/track/microkernel/ The topic of our contribution is the presentation and demo of our recent developments of pluggable device drivers, which will be the basis for on-the-fly driver updates, self-healing, and power management. Saturday, February 2, 13:05 "Pluggable device drivers for Genode" Norman Feske https://fosdem.org/2021/schedule/event/microkernel_pluggable_device_drivers… The developer room will close with a panel discussion among several participating projects including Genode and moderated by Martin Decky. Saturday, February 2, 15:05 "State of Microkernels in 2021" https://fosdem.org/2021/schedule/event/microkernel_state_in_2021/ See you at virtual FOSDEM 2021! Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

3 4

cpu specific kernel call
by Michael Grunditz 05 Mar '21

05 Mar '21

Hi, I have a kernel call that starts RISC OS, and uses psci. I wonder , where should I put that very aarch64 dependent code. I somehow need to be able to call it from userspace. Regarding kernel calls in general , what is the best way of calling them? Right now I do "MOV x0,#number ; SVC" , probably not very Genode style! :) -- Michael Grunditz Sent from my RISC OS workstation..

3 6

Terminal stdin issue
by Michael Grunditz 02 Mar '21

02 Mar '21

Hi I am trying to use terminal for stdout and stdin. Output is no problem, but I can't get input to work.. I have this: if(select(1, &rfds, NULL, NULL,&tvp)) { log ("stdin data"); int a = fgetc(istream); log ("",Char(a)); That select always returns , and fgetc never returns, no matter how hard I hit my keyboard! /Michael

1 1

bootm on imx8
by Michael Grunditz 27 Feb '21

27 Feb '21

Hi, I am trying to boot a genode uImage (tftp,bootm) but gets ATAG not compiled in. Do I need to patch out that error from u-boot , or is there another workaround? Br Michael Grunditz

1 4

Sporadic Invalid_clear exception in init
by Pirmin Duss 26 Feb '21

26 Feb '21

Hello Genodians We have a complex scenario in which we deploy 6 configs periodically. The configurations are applied in a loop always in the same order. Eventually init throws 'Genode::Bit_array_base::Invalid_clear' and terminates (see the backtrace below). Maybe it is noteworthy that packages with sub inits that have components that use resource saturation are started. Does anybody have an idea on how to proceed with debugging the problem? Best regards, Pirmin ``` #0 0x0000000050086294 in Genode::Bit_array_base::_set (this=0x50137868 <(anonymous namespace)::local_capability_space()::capability_space+229384>, index=<error reading variable: That operation is not available on integers of more than 8 bytes.>, width=1, free=true) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/util/bit_array.h:87 #1 Genode::Bit_array_base::_set (free=true, width=1, index=<error reading variable: That operation is not available on integers of more than 8 bytes.>, this=0x50137868 <(anonymous namespace)::local_capability_space()::capability_space+229384>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/util/bit_array.h:75 #2 Genode::Bit_array_base::clear (width=1, index=<error reading variable: That operation is not available on integers of more than 8 bytes.>, this=0x50137868 <(anonymous namespace)::local_capability_space()::capability_space+229384>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/util/bit_array.h:149 #3 Genode::Bit_allocator<4096u>::free (num_log2=0, bit_start=<error reading variable: That operation is not available on integers of more than 8 bytes.>, this=0x50137860 <(anonymous namespace)::local_capability_space()::capability_space+229376>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/util/bit_allocator.h:118 #4 Genode::Capability_space_tpl<4096u, Genode::Native_capability::Data>::dec_ref (data=..., this=0x500ff860 <(anonymous namespace)::local_capability_space()::capability_space>) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/include/base/internal/capability_space_tpl.h:196 #5 Genode::Capability_space::dec_ref (data=...) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/base/capability_space.cc:63 #6 0x000000005002756f in Genode::Native_capability::~Native_capability (this=0x401ff518, __in_chrg=<optimized out>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/native_capability.h:76 #7 Genode::Capability<Genode::Pd_session>::~Capability (this=0x401ff518, __in_chrg=<optimized out>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/capability.h:53 #8 Genode::Quota_transfer<Genode::Pd_session, Genode::Ram_quota>::Remote_account::~Remote_account (this=0x401ff510, __in_chrg=<optimized out>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/quota_transfer.h:86 #9 Genode::Child::_revert_quota_and_destroy (this=<optimized out>, session=...) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/base/child.cc:392 #10 0x000000005002800a in Genode::Child::session_closed (this=0x7ffff7f9eed0, session=...) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/base/child.cc:508 #11 0x0000000050029e99 in Genode::Child::<lambda(Genode::Session_state&)>::operator()(Genode::Session_state &) (session=..., __closure=<optimized out>, __closure=<optimized out>) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/base/child.cc:532 #12 0x000000005002a3d7 in Genode::Id_space<Genode::Parent::Server>::apply<Genode::Session_state, Genode::Child::session_response(Genode::Parent::Server::Id, Genode::Parent::Session_response)::<lambda(Genode::Session_state&)> > (fn=..., id=..., this=0x7ffff7f96088) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/mutex.h:64 #13 Genode::Child::session_response (this=<optimized out>, id=..., response=<optimized out>) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/base/child.cc:518 #14 0x000000005003e41d in Genode::Meta::call_member<Genode::Meta::Empty, Genode::Parent, Genode::Meta::Pod_tuple<Genode::Id_space<Genode::Parent::Server>::Id, Genode::Meta::Pod_tuple<Genode::Parent::Session_response, Genode::Meta::Empty> > > (func=<optimized out>, args=<synthetic pointer>..., server=...) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/util/meta.h:490 #15 Genode::Parent::Rpc_session_response::serve<Genode::Parent, Genode::Meta::Empty> (args=<synthetic pointer>..., server=...) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/parent/parent.h:325 #16 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_serve<Genode::Parent::Rpc_session_response> (args=<synthetic pointer>..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:146 #17 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:180 #18 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:201 #19 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_upgrade, Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:201 #20 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_session_cap, Genode::Parent::Rpc_upgrade, Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:201 #21 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_session, Genode::Parent::Rpc_session_cap, Genode::Parent::Rpc_upgrade, Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (this=this@entry=0x7ffff7f96318, opcode=..., opcode@entry=..., in=..., out=...) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:201 #22 0x000000005003ef50 in Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_session_sigh, Genode::Parent::Rpc_session, Genode::Parent::Rpc_session_cap, Genode::Parent::Rpc_upgrade, Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/util/meta.h:626 #23 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_announce, Genode::Parent::Rpc_session_sigh, Genode::Parent::Rpc_session, Genode::Parent::Rpc_session_cap, Genode::Parent::Rpc_upgrade, Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:201 #24 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::_do_dispatch<Genode::Meta::Type_list<Genode::Parent::Rpc_exit, Genode::Parent::Rpc_announce, Genode::Parent::Rpc_session_sigh, Genode::Parent::Rpc_session, Genode::Parent::Rpc_session_cap, Genode::Parent::Rpc_upgrade, Genode::Parent::Rpc_close, Genode::Parent::Rpc_session_response, Genode::Parent::Rpc_main_thread, Genode::Parent::Rpc_deliver_session_cap, Genode::Parent::Rpc_resource_avail_sigh, Genode::Parent::Rpc_resource_request, Genode::Parent::Rpc_yield_sigh, Genode::Parent::Rpc_yield_request, Genode::Parent::Rpc_yield_response, Genode::Parent::Rpc_heartbeat_sigh, Genode::Parent::Rpc_heartbeat_response> > (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:201 #25 Genode::Rpc_dispatcher<Genode::Parent, Genode::Parent>::dispatch (out=..., in=..., opcode=..., this=0x7ffff7f96318) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:235 #26 Genode::Rpc_object<Genode::Parent, Genode::Parent>::dispatch (this=0x7ffff7f96290, opcode=..., in=..., out=...) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/rpc_server.h:272 #27 0x000000005006b38a in Genode::Rpc_entrypoint::<lambda(Genode::Rpc_object_base*)>::operator() (obj=0x7ffff7f96290, __closure=<synthetic pointer>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/mutex.h:64 #28 Genode::Object_pool<Genode::Rpc_object_base>::apply<Genode::Rpc_entrypoint::entry()::<lambda(Genode::Rpc_object_base*)> > (func=..., capid=<optimized out>, this=0x500fca50 <Genode::bootstrap_component()::startup+528>) at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/object_pool.h:147 #29 Genode::Rpc_entrypoint::entry (this=0x500fc9a8 <Genode::bootstrap_component()::startup+360>) at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/base/rpc_dispatch_loop.cc:68 #30 0x000000005009ec3d in Genode::Thread::_thread_start () at /data/genode/depot/trimpim/api/base/2021-02-23T1255/include/base/output.h:54 #31 0x00000000500b3e3b in thread_start () at /data/genode/depot/trimpim/src/base-linux/2021-02-23T1255/src/lib/syscall/spec/x86_64/lx_clone.S:62 ```

2 2

RPC Interface for I2C Driver
by Jean-Adrien Domage 25 Feb '21

25 Feb '21

Dear Genodians, We would like to introduce an i2c driver for imx8q_evk to Genode. Thanks to the hints from Sebastian, I now have a prototype component that can send/receive data via the i2c bus of the imx8q_evk. The next task is to design the RPC interface for the driver. What would be a good kind of interface? Do you have driver(s)/component(s) to recommend as example? Or any specific guidelines? Cheers, Jean-Adrien Domage Software Engineer gapfruit AG

3 2

Running Genode on a server system
by Joerg-C. Boehme 25 Feb '21

25 Feb '21

Hi everyone, I like to "use" Genode to get more familiar with it. My idea was to run a Genode server with lighttpd like genodians.org I have a small "Cloud Server" or "vServer" from Hetzner. It looks like they use qemu but unfortunately they use the "440FX" as emulation. It is not possible to use a nic_drv on it [1]. My question is, does somebody know who provide servers where I can install/run a Genode ? I assume the genodians.org is installed on its own hardware and "use a colocation" contract. Btw. I think this is the correct site [2] to see on which hardware genode is running, or? Thanks, Jörg [1] See my email on 24. Feb. 2021 15:01:26 CET: "acpi_drv / platform_drv support" [2] https://usr.sysret.de/jws/genode/hcl.html

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users