Re: Rockchip USB revisited

[Michael Grunditz]

I got it to build with Rockchip kernel ,but the dts files are
incomplete from the only public repo I know about. I will try BSP ,
but I can't share that. The dts I have now , doesn't make any sense at
all comparing the TRMs,

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Rockchip USB revisited

[Michael Grunditz]

> Using the Linux kernel drivers is simply an economic decision. When
> using the latest lx_emul/lx_kit approach it tooks very few days to
> enable a new driver, and it tooks even less to update the code base,
> which is not the case with the deprecated dde_linux usb_host driver
> mentioned above. I hope you can understand this motivation.
> However, if you are strongly motivated to implement dedicated USB
> protocol stacks from scratch, I assume nobody will argue against it.


OK. I understand. It is just that I am unfamiliar with linux drivers.
I will try a bit more. The rockchip kernel fais quite early in page
table.
I think I got around that, but reverted the change.

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Rockchip USB revisited

[Stefan Kalkowski]

Hi Michael,

On Fri, Mar 17, 2023 at 10:48:25AM +0100, Michael Grunditz wrote:
> On Fri, 17 Mar 2023 at 10:39, Stefan Kalkowski
>  wrote:
> >
> > Hi Michael,
> >
> > On Tue, Mar 14, 2023 at 03:47:48PM +0100, Michael Grunditz wrote:
> > > > Do you generate the "dep" files automatically? I gave up and added all 
> > > > headers.
> > >
> > > Oh well.. I can't get rockchip kernel to build ( it does build by
> > > itself). I have injected my dts files into a64 kernel and I plan to
> > > skip phy init , only using ehci and uboot initiated hw.
> > >
> > > However build fails with this little message:
> > > LINK a64_usb_host_drv
> > > cc1: fatal error:
> > > /home/micken/oldhome/micken/src/new/genode/depot/genodelabs/api/a64_linux/2023-03-14-z-x-x-x-x-x-x-x-x-
> > > x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x/src/linux/: No
> > > such file or directory
> >
> > I'm not quite sure what the problem is, but the very long
> > automatically generated depot package name indicates that your
> > observed problems have to do with the package build of your driver. As
> > said in the mail before, please try to develop the driver without
> > packaging to circumvent that class of problems in the first place.
> 
> 
> Thanks for replying.
> 
> I have more or less given up building from A64 driver. I need to have
> a custom kernel and that refuses to build. Having the driver in
> dde_linux works without problems, except for not building from
> "interactive". I need to do make drivers/usb_host.

As said before, please reconsider this decision in the light of the
quick disappearance of `repos/dde_linux/src/drivers/usb_host`.

> 
> How do I set the controller address for ehci?

It is set in the platform driver's devices ROM, e.g. in
`genode-imx/board/imx6q_sabrelite/devices`. Moreover, you have to
assign the devices to your driver within the platform driver's policy.
For an example, have a look at:
`genode-imx/repos/imx/recipes/raw/test_usb_host_drv-imx6q_sabrelite/drivers.config`

Regards
Stefan

> 
> /Michael
> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Rockchip USB revisited

[Stefan Kalkowski]

Hi Michael,

On Tue, Mar 14, 2023 at 07:21:20PM +0100, Michael Grunditz wrote:
> > That directory is there , so I have no clue what it means.
> >
> > Michael
> 
> Just thinking ... the dde_linux driver is much better for me. Much
> more generic. Is it possible to drive that from my rockchip dir? I
> have tried that before without luck. If I put a driver in
> dde_linux/src/drivers/usb_host/spec/ and enable dde_linux in
> build.conf I get a working driver.

I understand that this might be frustrating, but the mentioned
usb_host driver and the underlying legacy lx_emul approach are
deprecated and will vanish soon.

Apart from the quite old Linux code base, it is not economically
senseful for us to maintain this approach any longer. Therefore, I
would strongly encourage you to better follow the first approach you
took.

> 
> To be honest , I think that having generic ohci, ehci and xhci and use
> linux kernel for phy is a better approach rather than doing the whole
> driver stack for each platform.
> 
> I would be happy to get some input on this.

I agree, it would be desireable to have generic protocols for the
different USB specifications, as well as HUB handling, device
detection, resetting etc.. However, from our team's perspective it is
too complex to stem this development (beside all other important
work to do) without significant funding or otherwise strong external
motivation.

Using the Linux kernel drivers is simply an economic decision. When
using the latest lx_emul/lx_kit approach it tooks very few days to
enable a new driver, and it tooks even less to update the code base,
which is not the case with the deprecated dde_linux usb_host driver
mentioned above. I hope you can understand this motivation.
However, if you are strongly motivated to implement dedicated USB
protocol stacks from scratch, I assume nobody will argue against it.

Regards
Stefan

> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Rockchip USB revisited

[Michael Grunditz]

On Fri, 17 Mar 2023 at 10:39, Stefan Kalkowski
 wrote:
>
> Hi Michael,
>
> On Tue, Mar 14, 2023 at 03:47:48PM +0100, Michael Grunditz wrote:
> > > Do you generate the "dep" files automatically? I gave up and added all 
> > > headers.
> >
> > Oh well.. I can't get rockchip kernel to build ( it does build by
> > itself). I have injected my dts files into a64 kernel and I plan to
> > skip phy init , only using ehci and uboot initiated hw.
> >
> > However build fails with this little message:
> > LINK a64_usb_host_drv
> > cc1: fatal error:
> > /home/micken/oldhome/micken/src/new/genode/depot/genodelabs/api/a64_linux/2023-03-14-z-x-x-x-x-x-x-x-x-
> > x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x/src/linux/: No
> > such file or directory
>
> I'm not quite sure what the problem is, but the very long
> automatically generated depot package name indicates that your
> observed problems have to do with the package build of your driver. As
> said in the mail before, please try to develop the driver without
> packaging to circumvent that class of problems in the first place.


Thanks for replying.

I have more or less given up building from A64 driver. I need to have
a custom kernel and that refuses to build. Having the driver in
dde_linux works without problems, except for not building from
"interactive". I need to do make drivers/usb_host.

How do I set the controller address for ehci?

/Michael

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Rockchip USB revisited

[Stefan Kalkowski]

Hi Michael,

On Tue, Mar 14, 2023 at 03:47:48PM +0100, Michael Grunditz wrote:
> > Do you generate the "dep" files automatically? I gave up and added all 
> > headers.
> 
> Oh well.. I can't get rockchip kernel to build ( it does build by
> itself). I have injected my dts files into a64 kernel and I plan to
> skip phy init , only using ehci and uboot initiated hw.
> 
> However build fails with this little message:
> LINK a64_usb_host_drv
> cc1: fatal error:
> /home/micken/oldhome/micken/src/new/genode/depot/genodelabs/api/a64_linux/2023-03-14-z-x-x-x-x-x-x-x-x-
> x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x/src/linux/: No
> such file or directory

I'm not quite sure what the problem is, but the very long
automatically generated depot package name indicates that your
observed problems have to do with the package build of your driver. As
said in the mail before, please try to develop the driver without
packaging to circumvent that class of problems in the first place.

Regards
Stefan

> 
> That directory is there , so I have no clue what it means.
> 
> Michael
> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Rockchip USB revisited

[Stefan Kalkowski]

Hi Michael,

On Tue, Mar 14, 2023 at 11:59:06AM +0100, Michael Grunditz wrote:
> On Mon, 13 Mar 2023 at 17:59, Michael Grunditz
>  wrote:
> >
> > > To cross-check, does the creation of the binary archive
> > > bin/arm_v8a/a64_usb_host_drv using the genode-allwinner repository work
> > > as it should?
> > >
> > Thanks for help! It builds ( but no cigar!).  I managed to put a
> > comment in a list , so everything failed :-)
> 
> Seems like my linux kernel changed paging code.. quite a lot. This
> will take some time.
> Do you generate the "dep" files automatically? I gave up and added all 
> headers.

In general, we do not use the depot packing during development of a
new driver, but use something like: `build { drivers/usb_host/rkxxx }
inside the test run-script instead. Therefore, you do not have to
update the dep files again and again.

Apart from that, we have the little helper tool:
`tool/dde_linux/list_dependencies` to automatically create the dep
file.

Regards
Stefan

> 
> ___
> Genode users mailing list
> users@lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Stefan Kalkowski
Genode labs

https://github.com/skalk | https://genode.org

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: iwlwifi-9260-firmware

[Josef Söntgen]

Hi Alice,

> > Ah right, I have not thought of that. Since most distros will also pull
> > there firmware images from there (I think) it makes correlating things
> > easier.
> 
> Oh, sorry for the misunderstanding. I meant, it makes sense to use the one
> from [1] :)
> 
> [1] git://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git

Yeah, that is what I meant as well - sorry for being somewhat fuzzy ☺.


Regards
Josef

-- 
Josef Söntgen
Genode Labs

http://www.genode-labs.com/ · http://genode.org/


signature.asc
Description: PGP signature
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: Installing software in genode

[Martin Stein]

Hi Divya,

There is the "DEPOT" env variable for gems/run/sculpt.run that can be
used for equipping your Sculpt with a TAR archive of packages you
reference in the deploy config (see depot_archive in gems/run/sculpt.run
and [5]).

You most likely want to use the GOA tool [1-3] in order to bring your C
program to Sculpt. Of course, there is also the alternative of
publishing your own program from your Genode repo using the depot
tooling [4], but it requires more Genode-specific knowledge.

I hope this helped?

Cheers,
Martin

[1] https://genodians.org/nfeske/2019-11-25-goa
[2] https://genodians.org/nfeske/2020-05-27-autoconf-git
[3] https://github.com/nfeske/goa
[4] https://genode.org/documentation/developer-resources/package_management
[5]
https://genode.org/documentation/release-notes/22.02#Framework_for_special-purpose_Sculpt-based_operating_systems

On 16.03.23 08:24, Divya Sharma wrote:
> hello everyone,
> 
> 1) thanks for the suggestion, but the thing is we build genode for arm
> (virt_qemu) and currently, we are unable to configure nic driver, so
> there is no network, but in the above article, we need to fetch and
> download packages from repos.
> 
> so is it possible to run a third party without the internet?
> 
> 2) how to run a simple C program on an even on top of the GENODE x86 system?
> 
> Thanks & regards
> Divya
> 
> On Wed, Mar 8, 2023 at 8:43 AM John J. Karcher
> mailto:devu...@alternateapproach.com>>
> wrote:
> 
> On 3/6/23 12:12, Divya Sharma wrote:
> > Hello Genodian,
> >
> > How to install special-purpose software/Apps in genode?
> > Like we create/install the software in windows.
> > Please suggest some document
> 
> As you can imagine, due to Genode's more secure design, the software
> installation process is somewhat different than traditional OSes.  One
> of the main differences is that everything is broken into smaller
> components (rather than large, monolithic packages), which you are free
> to configure in various combinations as you see fit.
> 
> A couple of times a year, they release pre-built Sculpt disk images,
> and
> along with these they include a nice step-by-step introduction to using
> the system.  The latest of these is at:
> 
>    https://genode.org/documentation/articles/sculpt-22-10
> 
> This covers installing various software components, as well as how to
> use other basic features of the system.
> 
> I hope this helps!
> 
>   Happy Sculpting!
> 
>    John J. Karcher
>    devu...@alternateapproach.com 
> 
> ___
> 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
> 

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: iwlwifi-9260-firmware

[Alice Domage]

Dear Josef,

Ah right, I have not thought of that. Since most distros will also pull
there firmware images from there (I think) it makes correlating things
easier.


Oh, sorry for the misunderstanding. I meant, it makes sense to use the 
one from [1] :)


[1] git://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git

Cheers,
Alice


___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: iwlwifi-9260-firmware

[Josef Söntgen]

Hi Alice,

> I wonder why the size differs. It is a good question. I would have expected 
> not.
> 
> As far as I remember, I got it from the Intel website [1]. I am sure I did 
> not look
> into 'linux-firmware.git' as you mentioned. I assume it should be picked up 
> from
> there. I overlooked that, sorry.

Ah right, I have not thought of that. Since most distros will also pull
there firmware images from there (I think) it makes correlating things
easier.

> I have tested it with your Genode branch, and it works!

Thanks for testing, that is good to know.


Regards
Josef

-- 
Josef Söntgen
Genode Labs

http://www.genode-labs.com/ · http://genode.org/


signature.asc
Description: PGP signature
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users

Re: java for arm_v7a

[Sebastian Sumpf]

Hello Devashish,

On 3/17/23 07:53, Devashish Dewangan cs21m017 wrote:


Dear Genodians,

The java.run for arm_v7a script was executed successfully and the log output is 
attached below.


I have java program,

// This is a simple Java program.
// FileName : "HelloWorld.java".

class HelloWorld
{
   // Your program begins with a call to main().
   // Prints "Hello, World" to the terminal window.
   public static void main(String args[])
   {
     System.out.println("Hello, World");
   }
}


I want to run the above code on genode sculpt, can you guide us to execute it.


There exists a package [1]. You would need to build and publish this in order to 
use it on Sculpt, e.g.,


! ./tool/depot/create /pkg/arm_v7a/jdk UPDATE_VERSIONS=1 FORCE=1 -j6

For a general description of Genode's package management please refer to [2].

[1] https://github.com/genodelabs/genode-world/tree/master/recipes/pkg/jdk
[2] https://genode.org/documentation/developer-resources/package_management

Regards,

Sebastian

--
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.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

Re: sys/common_ansi.h not found (dde rump)- sculpt for virt qemu riscv

[Sebastian Sumpf]

On 3/15/23 15:23, Pranab Kumar Rout cs21m045 wrote:

Hi all,
As I see in [1], when we prepare port for dde_rump, it fetches from [2] and not 
from [3]. And I found that the "src/sys/sys/common_ansi.h" is not present in 
[2]. May be for this reason while building sculpt the error came up. Also in [1] 
I can see that its fetching libc files from 
"/src/common/lib/libc/arch/aarch64/atomic" and not from 
"/src/common/lib/libc/arch/riscv/atomic". Is it okay or should I update this in 
[1] ?


Yes.

Cheers,

Sebastian

[1] repos/dde_rump/ports/dde_rump.port 


[2] https://github.com/ssumpf/rump.git 
[3] https://github.com/justincormack/netbsd-src 



Were you suggesting to update this thing ? Please have a look and suggest steps 
I need to take.

I think this must be the reason for that fatal error. Kindly acknowledge.

Regards,
Pranab

On Mon, Mar 13, 2023 at 4:07 PM Sebastian Sumpf > wrote:


Hello Pranab,

On 3/13/23 07:47, Pranab Kumar Rout cs21m045 wrote:
 > Hello genodians,
 > While building sculpt for virt_qemu_riscv, I found that dde_rump port is 
not
 > prepared for RISCV. Taking help from the community, I used the same
approach as
 > for arm_v8a (aarch64) as found under
"repos/dde_rump/lib/mk/spec/arm_64/*" just
 > for "spec/riscv" in order to enable rump support for RISC-V.
 > I am getting this error. If you find it familiar, kindly help me
 > checking library dependencies...
 >    Library ldso_so_support
 >      COMPILE  so_support.o
 >      MERGE    ldso_so_support.lib.a
 >    Library ld
 >      CONVERT  ld.symbols.s
 >      ASSEMBLE ld.symbols.o
 >      MERGE ld.abi.so  >
 >    Library base
 >      MERGE    base.lib.a
 >    Library block_session
 >      MERGE    block_session.lib.a
 >    Library config
 >      MERGE    config.lib.a
 >    Library file_system
 >      MERGE    file_system.lib.a
 >    Library file_system_session
 >      MERGE    file_system_session.lib.a
 >    Library os
 >      MERGE    os.lib.a
 >    Library rump_include
 >      MERGE    rump_include.lib.a
 >    Library rump
 >      COMPILE  __main.o
 > In file included from
 >

/genode/depot/genodelabs/src/rump/2023-03-07-b/src/lib/dde_rump/src/sys/sys/types.h:47,
 >                   from
 >

/genode/depot/genodelabs/src/rump/2023-03-07-b/src/lib/dde_rump/src/sys/lib/libkern/__main.c:33:
 >

/genode/depot/genodelabs/bin/riscv/rump/2023-03-07-b.build/var/libcache/rump/include/machine/ansi.h:3:10:
 fatal error: sys/common_ansi.h: No such file or directory
 >      3 | #include 
 >        |  ^~~

When looking at "contrib/dde_rump-/src/lib/dde_rump_aarch64_backport" 
I
can see that only "src/sys/arch" [1] is checked out from [2] while
"common_ansi.h" resides under "src/sys/sys/common_ansi.h" [3]. Therefore, 
you
could adjust [1] to also checkout "src/sys" or "src/sys/sys" and update the
"INC_DIR" and/or symlinks under "dde_rump/lib/mk/spec/riscv" accordingly.

[1] repos/dde_rump/ports/dde_rump.port
[2] https://github.com/justincormack/netbsd-src

[3]
https://github.com/justincormack/netbsd-src/blob/master/src/sys/sys/common_ansi.h 


*Note: When adjusting "dde_rump.port" you need to execute

! ./tool/ports/update_hash dde_rump

in order to create a new hash for the port.

Regards,

Sebastian

-- 
Sebastian Sumpf

Genode Labs

http://www.genode-labs.com  · http://genode.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



___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users


--
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.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

java for arm_v7a

[Devashish Dewangan cs21m017]

Dear Genodians,

The java.run for arm_v7a script was executed successfully and the log
output is attached below.

I have java program,

// This is a simple Java program.
// FileName : "HelloWorld.java".

class HelloWorld
{
  // Your program begins with a call to main().
  // Prints "Hello, World" to the terminal window.
  public static void main(String args[])
  {
System.out.println("Hello, World");
  }
}


I want to run the above code on genode sculpt, can you guide us to execute
it.
-- 
Regards,
Devashish Dewangan
CS21M017
sudo make run/java KERNEL=hw BOARD=virt_qemu_arm_v7a
including /home/user/final/genode/tool/run/power_on/qemu
including /home/user/final/genode/tool/run/log/qemu
including /home/user/final/genode/tool/run/boot_dir/hw
including /home/user/final/genode/repos/world/run/java.run
building targets:  core init timer

spawn make core init timer
make[1]: Entering directory '/home/user/final/genode/build/arm_v7a'
checking library dependencies...
  Library syscall-hw
  Library base-hw-common
  Library cxx
  Library core-hw-virt_qemu_arm_v7a
COMPILE  version.o
MERGEcore-hw-virt_qemu_arm_v7a.lib.a
  Program core/hw/core-hw-virt_qemu_arm_v7a
  Library startup-hw
  Library timeout-hw
  Library base-hw
  Library ldso_so_support
  Library ld-hw
  Library ld
  Library base
  Program init/init
  Program timer/hw/hw_timer_drv
make[1]: Leaving directory '/home/user/final/genode/build/arm_v7a'
genode build completed
checking configuration syntax
  CHECK init
building targets: bootstrap/hw core/hw
spawn make bootstrap/hw core/hw
make[1]: Entering directory '/home/user/final/genode/build/arm_v7a'
checking library dependencies...
  Library cxx
  Library bootstrap-hw-virt_qemu_arm_v7a
  Program bootstrap/hw/bootstrap_hw_virt_qemu_arm_v7a
  Library syscall-hw
  Library base-hw-common
  Library core-hw-virt_qemu_arm_v7a
COMPILE  version.o
MERGEcore-hw-virt_qemu_arm_v7a.lib.a
  Program core/hw/core-hw-virt_qemu_arm_v7a
make[1]: Leaving directory '/home/user/final/genode/build/arm_v7a'
genode build completed
using 'ld-hw.lib.so' as 'ld.lib.so'
using 'hw_timer_drv' as 'timer'
core link address is 0x8000
spawn qemu-system-arm -display gtk -serial mon:stdio -kernel 
var/run/java/boot/image.elf -m 2048 -M virt,virtualization=true -cpu cortex-a15 
-smp 2 -global virtio-mmio.force-legacy=false -device 
virtio-net-device,bus=virtio-mmio-bus.0,netdev=net0 -device virtio-mouse-device 
-device virtio-keyboard-device -device virtio-gpu-device -netdev user,id=net0

kernel initialized
ROM modules:
 ROM: [40116000,40124703) Genode - Genode News.htm
 ROM: [403ce000,41e86000) classes.tar
 ROM: [403cd000,403cd74a) config
 ROM: [43273000,43274000) core_log
 ROM: [42003000,42005800) hello.tar
 ROM: [41fa,41fdc570) init
 ROM: [4027e000,402804c0) java
 ROM: [40125000,4013cd44) java.lib.so
 ROM: [41f0d000,41f14978) jimage.lib.so
 ROM: [40142000,40150728) jli.lib.so
 ROM: [40108000,40115728) jnet.lib.so
 ROM: [42048000,42df37a0) jvm.lib.so
 ROM: [42041000,42047588) jzip.lib.so
 ROM: [41f15000,41f9f9d0) ld.lib.so
 ROM: [40281000,403a92f4) libc.lib.so
 ROM: [4201d000,42040f90) libm.lib.so
 ROM: [4013d000,401414d0) management.lib.so
 ROM: [41f01000,41f0c648) nio.lib.so
 ROM: [43271000,43272000) platform_info
 ROM: [42006000,42008800) servlet.tar
 ROM: [40151000,4027db38) stdcxx.lib.so
 ROM: [41ff7000,4200241c) timer
 ROM: [41fdd000,41ff6c1c) tzdb.dat
 ROM: [41e86000,41e91ca4) verify.lib.so
 ROM: [403aa000,403cc690) vfs
 ROM: [41e92000,41f00970) vfs.lib.so
 ROM: [42009000,4201c66c) zlib.lib.so

Genode 22.08
1997 MiB RAM and 64535 caps assigned to init
[init -> java] Warning: setrlimit: setrlimit not implemented
[init -> java] Warning: sysconf(71) not implemented
[init -> java] Error: no plugin found for socket() function
[init -> java] Error: no plugin found for socket() function
[init -> java] Warning: sysconf(56) not implemented
[init -> java] patch_verified_entry:304 called dest 2000a7d0 verf 20152880
[init -> java] patch_verified_entry:304 called dest 2000a7d0 verf 20145210
[init -> java] Hello, Genode!
[init -> java] 
[init -> java] Individual compiler times (for compiled methods only)
[init -> java] 
[init -> java] 
[init -> java]   C1 {speed: 7029 bytes/s; standard:  1.813 s, 12743 bytes, 95 
methods; osr:  0.000 s, 0 bytes, 0 methods; nmethods_size: 89084 bytes; 
nmethods_code_size: 45152 bytes}
[init -> java] C1 Compile Time:1.787 s
[init -> java]Setup time:0.010 s
[init -> java]Build HIR: 0.812 s
[init -> java]  Parse: 0.646 s
[init -> java]  Optimize blocks:   0.022 s
[init -> java]  GVN:   0.037 s
[init -> java]  Null checks elim:  0.024 s
[init -> java]  Range checks elim: 0.028 s
[init -> java]  Other: 0.055 s
[init -> java]Emit LIR:  0.514 s
[init -> java]