Genode on RPI - end of discovery stage

2019-05-21 Thread Tomasz Gajewski

Hi everyone,

I'd like to share with you information that finally I've managed to find
out what was the reason of problems with networking on rpi 3b+ which I
implemented (with help mostly from Stefan) during Hack'n'Hike.

The important thing that we didn't notice during Hack'n'Hike was that
packages that we were able to receive only broadcast messages, so only
arp packets were received. That led me to debugging code that was
supposed to set MAC address in the driver and after some digging I found
in [1] information about a bug (later fixed) in this linux driver that
caused not setting MAC address properly in some situations. Applying a
change from this patch allowed to have usb_net test working.

In the meantime I've checked that usb_block test also works (although
seems to be quite slow) so I think I have generally working the most
important devices to start again from the start and polish my work and
try to prepare it for inclusion Genode repositories (probably I'll wait
for a release).


My current plan is to work on supporting with base-hw:

 - rpi3b+ 32bit - as 64bit support is not yet ready and 32bit version
   does not restrict using of this device

 - rpi2b - this one is armv7 so 32bit architecture and with regard to
   devices it is somewhere between rpi1 and rpi3b+


After discussion with Stefan during Hack'n'Hike I plan to move as much
as possible of support for above versions to genode-world repository as
Genode Labs plans to support in main genode repository and test: old rpi
and new rpi3b (without +) 64bit.


One thing I'd like to get some acceptance is a naming scheme for those
SOCs/configurations. Especially for the 32 and 64 bit versions for one
SOC. Will it be ok to have following naming for boards?

 - rpi3bplus32 (running 32 bit)
 - rpi3bplus (later; running native for armv8 64 bit instructions)
 - rpi2b
 - rpi3b - version that you have and plan to support


Cheers
Tomasz


[1] https://lkml.org/lkml/2018/11/7/860

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

Re: race-condition in ram_fs and fs_query?

2019-05-21 Thread Martin Stein
Hey Guido,

El 20/5/19 a las 14:08, Guido Witmond escribió:
> Now the next step: create a dynamic ROM to start the pdf_view component
> on demand. Any pointers to run files that help me get going?

I could imagine that listening to a report via the ROM filter [1] might
be what you are looking for. But I don't know whether there is a
component that creates a report that contains a list of files located
inside a given directory. However, this might not be so hard to
implement if you do it as FS bump-in-the-wire component.

Cheers,
Martin

[1] os/src/server/rom_filter

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

Re: pre 19.05 feedback: libc port update breaks mkfs from e2fsprogs

2019-05-21 Thread Josef Söntgen
Hello Pirmin,

> mkfs.run from
> https://github.com/trimpim/genode/tree/test-19.05-mkfs_fails fails with
> the error message (KERNEL=nova):
> "/dev/block: Memory allocation failed while setting up superblock".
> 
> Through bisecting I determined, that the libc port update seems to be
> the cause of the problem.
> 
> a55af1828 last working commit
> dd5aa1748 .. 057a8b0b3 build fails
> 132ef4dcb compiles, test fails
> 
> The error occurs in line 76 in the file
> src/noux-pkg/e2fsprogs/lib/ext2fs/inline.c of the contrib code.

Thanks for the report, we will look into it.

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

pre 19.05 feedback: libc port update breaks mkfs from e2fsprogs

2019-05-21 Thread Duss Pirmin
Hello Genodians

I'm running preparations for the transition to Genode 19.05.

mkfs.run from
https://github.com/trimpim/genode/tree/test-19.05-mkfs_fails fails with
the error message (KERNEL=nova):
"/dev/block: Memory allocation failed while setting up superblock".

Through bisecting I determined, that the libc port update seems to be
the cause of the problem.

a55af1828 last working commit
dd5aa1748 .. 057a8b0b3 build fails
132ef4dcb compiles, test fails

The error occurs in line 76 in the file
src/noux-pkg/e2fsprogs/lib/ext2fs/inline.c of the contrib code.

Best regards
Pirmin

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