users

users@lists.genode.org

3 participants
2349 discussions

Fwd: Re: [Genode] Suggestion about mailing list subject
by Martin Stein 07 Feb '17

07 Feb '17

-------- Weitergeleitete Nachricht -------- Betreff: Re: [Genode] Suggestion about mailing list subject Datum: Tue, 7 Feb 2017 09:48:44 -0500 Von: Jeroen "Slim" van Gelderen <askslim@...9...> An: martin.stein@...1... The redundant information clutters up small screens and makes subject lines difficult to read on mobile. I'm not sure what the problem is with filtering messages for these folks. On 7 Feb 2017 07:52, "Martin Stein" <martin.stein@...1... <mailto:martin.stein@...1...>> wrote: I personally let my mail client filter my mails by the destination address into separate folders. This works fine for me. But if an additional prefix is desired, why not. Cheers, Martin Am 07.02.2017 um 12:20 schrieb Parfait Tokponnon: > Hello, > Personally, I think this is very useful, > I receive mails from various mailing lists and this is the best way I > can distinguish at a glance the origin of the mail. > cheers > > 2017-02-07 11:08 GMT+01:00 Christian Helmuth > <christian.helmuth@...1... <mailto:christian.helmuth@...1...> > <mailto:christian.helmuth@...1... <mailto:christian.helmuth@...1...>>>: > > Hello Martín, > > On Mon, Jan 30, 2017 at 07:57:33AM -0500, Martin Iturbide wrote: > > I was wondering if it can be useful to configure the mailing list to > > include on the subject (before the text) something like [Genode] or > > [Genode-Main] . I know that it is easy to set a rule and folder for the > > mailing list messages on the mail client, but in some other cases I like to > > identify visually and fast the messages that are from this mailing list in > > a group of mails. > > > > This is just a thought, I don't know how hard or easy will be to configure > > this on the sourceforge mailing lists. > > Technically this is pretty simple by means of the Mailman > subject_prefix feature. I personally do not like all subject lines > written by users of the list cluttered with some prefix text. But, if > other members of the list also express their demand for this feature > and there's no overly resistance voiced I would enable it > nevertheless. > > Greets > -- > Christian Helmuth > Genode Labs > > https://www.genode-labs.com/ · https://genode.org/ > https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ > > Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden > Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, SlashDot.org! http://sdm.link/slashdot > _______________________________________________ > genode-main mailing list > genode-main(a)lists.sourceforge.net <mailto:genode-main@lists.sourceforge.net> > <mailto:genode-main@lists.sourceforge.net <mailto:genode-main@lists.sourceforge.net>> > https://lists.sourceforge.net/lists/listinfo/genode-main <https://lists.sourceforge.net/lists/listinfo/genode-main> > <https://lists.sourceforge.net/lists/listinfo/genode-main <https://lists.sourceforge.net/lists/listinfo/genode-main>> > > > > > -- > Parfait T. > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, SlashDot.org! http://sdm.link/slashdot > > > > _______________________________________________ > genode-main mailing list > genode-main(a)lists.sourceforge.net <mailto:genode-main@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/genode-main <https://lists.sourceforge.net/lists/listinfo/genode-main> > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net <mailto:genode-main@lists.sourceforge.net> https://lists.sourceforge.net/lists/listinfo/genode-main <https://lists.sourceforge.net/lists/listinfo/genode-main>

1 0

Deprecated warnings
by Boris Mulder 07 Feb '17

07 Feb '17

Hi all, Whenever I compile my source with the latest version of Genode, I am getting hundreds and hundreds of deprecated warnings. I understand you might fix them in the future, but they clog my compiler output and make reading other compiler errors a pain. Is there some easy point in the makefiles where I can change it so that I can disable all of them temporarily? I tried appending it to global.mk: CC_WARN ?= -Wall -Wno-deprecated but this still gave me the warnings. Where can I disable it? Regards, Boris -- Met vriendelijke groet / kind regards, Boris Mulder Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands +31 35 631 3253 (office)

2 3

Some questions
by Hack 06 Feb '17

06 Feb '17

Hi, I am currently using Qubes OS, but with the next release, I will have to upgrade my hardware. And it will cost me a lot. Anyway, I started to look at Genode OS, but I can't find an hardware support list. Questions: 1. How to know if my current configuration will be supported? 2. Is there any 3d support with Genode OS? 3. Is it possible to use Genode OS as desktop OS? Thanks

2 3

tcp_terminal on linux
by Prashanth Mundkur 03 Feb '17

03 Feb '17

Hi, I'm trying to use tcp_terminal on linux. It of course prominently says: # TODO: Add support for Linux via user-level networking (using the # tun/tap proxy driver at os/src/drivers/nic/linux) After disabling the have_spec check, I can compile and run it. After setting the suid bit on drivers/nic/spec/linux/nic_drv to allow it to access /dev/net/tun, I get the following output: genode build completed using 'core-linux' as 'core' using 'ld-linux.lib.so' as 'ld.lib.so' using 'linux_timer_drv' as 'timer' spawn ./core Genode 16.11-146-gc16ee83 <local changes> 17592186044415 MiB RAM assigned to init [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] child "timer" [init] RAM quota: 798720 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "nic_drv" [init] RAM quota: 3944448 [init] ELF binary: nic_drv [init] priority: 0 [init] provides service Nic [init] child "tcp_terminal" [init] RAM quota: 2371584 [init] ELF binary: tcp_terminal [init] priority: 0 [init] provides service Terminal [init] child "test-terminal_echo" [init] RAM quota: 798720 [init] ELF binary: test-terminal_echo [init] priority: 0 [init] child "nic_drv" announces service "Nic" [init -> test-terminal_echo] Warning: using legacy main function, please convert to 'Component::construct' [init] child "timer" announces service "Timer" [init -> tcp_terminal] using the pipe libc plugin [init -> tcp_terminal] init_nic_dhcp [init -> tcp_terminal] Using DHCP for interface configuration. [init -> tcp_terminal] using the lwIP libc plugin [init -> nic_drv] no config provided, using tap0 [init -> tcp_terminal] Warning: '<config> <libc> <vfs/>' is deprecated, please move to '<config> <vfs/>' [init -> tcp_terminal] --- TCP terminal started --- [init] child "tcp_terminal" announces service "Terminal" [init -> tcp_terminal] listening on port 8888 with socket 16... [init -> tcp_terminal] adding listen sock 16 to select set Though I can see the tap device, 15: tap0: <BROADCAST,MULTICAST> mtu 1500 qdisc noop state DOWN mode DEFAULT group default qlen 1000 link/ether c2:60:31:f8:52:fc brd ff:ff:ff:ff:ff:ff I don't see any listening socket on port 8888. So clearly there is some missing plumbing. What do I need to do to fill that in? Thanks, --prashanth

2 2

Why DDE BSD for audio?
by Alexander Senier 01 Feb '17

01 Feb '17

Hi all, when looking into Genodes driver support, I was wondering about DDE BSD. The audio_* ports seems to be its only use case. Is there any (technical) justification for not porting audio drivers from Linux using DDE Linux? With USB, WiFi and GMA there were much more complex driver ported using DDE Linux after all... Thanks! Cheers, Alex

3 3

performance benchmark
by Parfait Tokponnon 30 Jan '17

30 Jan '17

Hello all, Is there any benchmark (performance) tool ready to run in Genode? I am trying to introduce some redundant execution scheme into the Nova kernel and I would like to have a hint of the performance impact (on Genode components). Since it is an unfinished work, the demo is the only scenario I can run now. I have read about the trace session in 13.08 release which may help but I failed to build the trace example scenario (to get some insight of the feature) *Here are the outputs* In the master branch: make run/trace ... cp: cannot stat ‘bin/rpc_name’: No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within ... In the 13.08 release make run/trace Makefile:91: /mk/global.mk: No such file or directory make: *** No rule to make target `/mk/global.mk'. Stop. I also read about the* TCP/IP Automated benchmarking* in 13.05 release. In the master branch: make run/network_test_nic_raw Error: No run script for network_test_nic_raw In the 13.05 release Makefile:91: /mk/global.mk: No such file or directory make: *** No rule to make target `/mk/global.mk'. Stop. Any suggestion is welcom. -- Parfait T.

2 1

Genode on Odroid-XU4
by Yevgeny Lavrov 24 Jan '17

24 Jan '17

Greetings I would like to try Genode on Odroid-XU4. I aware that there's no support available for this ARM device yet. However, I want to give it a try, but I don't know where to start. Can you please point me in the right direction so I can find the information that I'll need to get started this task? Thanks

2 8

Recipes not working
by Chris Rothrock 20 Jan '17

20 Jan '17

There are two recipes that I was able to successfully compile and run in Genode 16.08 that are no longer working with Genode 16.11 and was wondering if I could get assistance to make them work in this version. The default make run/demo works fine for me but if I try using the make run/demo with the Nova kernel I get an error "Error: target 'drivers/usb' does not exist". Also, I am trying to run the recipe for virtualbox (using Nova hypervisor) and this worked with Genode v16.08 but now I can't make this recipe. The port libiconv is required but I get an error trying to prepare_port on this one (Error: Hash sum check for libiconv failed). I also tried to update the hash (./tool/port/update_hash libiconv) but this didn't work. Any assistance on these two issues would be appreciated. Thanks, Chris -- Thank You, Chris Rothrock Senior System Administrator (315) 308-1637

2 1

Native Android Application Execution in Genode (Dalvik VM / ART)
by Alexy Gallardo Segura 17 Jan '17

17 Jan '17

Hello, I am writing to consult everyone on a topic in the genode section Challenges, in particular on the "Dalvik VM of Android natively in Genode". Norman Feske told me that currently Android also uses ART (Android runtime). Especially I have no preference, I'm only interested in running Android applications in GenodeOS. I am interested in working on this topic, but I have some questions to ask. Is anyone working on this topic? I reviewed the current issues but I did not find Anything related. Which would be better to incorporate to Genode Dalvik or ART, or any other variant? Finally, if you have any suggestions on where to start the review first? regards Alexy Gallardo Segura

1 0

Thinkpad X250 vs X260 ?
by Peter Lindener 17 Jan '17

17 Jan '17

The list of unofficially supported Genode compatible systems <http://usr.sysret.de/jws/genode/hcl.html#list_systems>.. might suggest that the most expedient path towards developing / working with Genode is likely the Thinkpad X250 or X260... Even with the i7 Skylake's on chip graphics, waiting for my Dell XPS 15 to join this list seems like it might be a bit of a long shot. Thus i write asking for an update on if I should spring for a Thinkpad X250 or X260? last time I queried Norman mentioned one should order it with Intel's (user facing) remote management engine enabled.. ( always enabled for use by the NSA )... Any other features / configuration suggested for Genode development? I am also interested in cross development of Genode to ARMv7, ARMv8.. for ARM development, it seems like the Arndale Board <http://www.arndaleboard.org/wiki/index.php/Main_Page> is currently the path of least resistance?... I currently have a Zynq-7000 (dual ARM9) based SnickerDoodle <http://krtkl.com/> on my bench that may be fairly easy for Genode to boot up? is Genode likely to support a more modern ARMv8 implementation likely in the near term? -Peter

3 3

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users