users

users@lists.genode.org

1 participants
2310 discussions

[genode] Label in l4_ipc_wait
by jaeyong yoo 31 Jan '13

31 Jan '13

Hello Genode, I have a question regarding Genode Label in Fiasco.OC kernel. I noticed that Msgbuf_base::label() is the same as the return value of l4_ipc_wait (which is basically genode label): L4_INLINE l4_msgtag_t l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *label, l4_timeout_t timeout) L4_NOTHROW; label is described as following: * \retval label Label assigned to the source object (IPC gate or IRQ). But, I can not see any corresponding label in ipc call as we can see below: L4_INLINE l4_msgtag_t l4_ipc_call(l4_cap_idx_t object, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW; So, here goes the question: Since genode label is passed to the first data of Msgbuf_base::buf, does Fiasco.OC pickup this value and return when l4_ipc_wait function called? Best regards, Jaeyong

2 2

Re: build directory outside of Genode dir xor vim error
by unknown＠example.com 31 Jan '13

31 Jan '13

"Or alternatively, how about taking the lack of nano as a wonderful opportunity to learn (and learn loving) vim, hehe... :-)" I (nano nano) agree. > ----- Original Message ----- > From: Norman Feske > Sent: 01/28/13 09:06 AM > To: genode-main(a)lists.sourceforge.net > Subject: Re: build directory outside of Genode dir xor vim error > > Hi Paul, > > > First change: staging rather than master. > > this is not recommended. We often change the commits that are on staging > but not yet merged into master. Hence, using staging will be pretty > messy on your side. If you like to use a particular commit that is only > available on staging, better create a new branch of master and > cherry-pick the single commit: > > git checkout -b <name-of-your-branch> genodelabs/master > git cherry-pick <commit-id> > > > Second change: try make run/noux_bash > > > > Third change: > > ./tool/create_builddir linux_x86 BUILD_DIR="./build.lx" > > rather than the usual: > > ./tool/create_builddir linux_x86 BUILD_DIR="build.lx" > > Both variants should work. I just tried them - they produce exactly the > same build directory. > > > About third change, result in make run/noux_bash to: > > Program core/core > > make[1]: Leaving directory `/home/paul/build.lx' > > genode build completed > > I think you missed some steps that are needed prior running the > run/noux_bash.run script. > > First, can you check that you enabled the 'libports', 'ports', and > 'gems' repositories in your '<build-dir>/etc/build.conf' file? > > You will also need to download several 3rd-party source codes in > 'libports' and 'ports' respectively. I guess that the build system has > printed a couple of messages like the following, has it? > > Skip target noux-pkg/bash because it requires prepare_bash > Skip target noux-pkg/coreutils because it requires prepare_coreutils > Skip target noux-pkg/vim because it requires prepare_vim > > These messages indicate that the said 3rd-party codes are not available. > To rectify the problem, please issue the following commands: > > cd <genode-dir>/ports > make prepare PKG='bash coreutils vim' > > You will also need to download some code in libports, i.e., the libc and > ncurses: > > cd <genode-dir>/libports > make prepare PKG='libc ncurses' > > > find: `bin/coreutils/': No such file or directory > > That is because of the missing 'make prepare' steps mentioned above. > > > couldn't open "bin/vim/share/vim/vimrc": no such file or directory > > When built successfully, the so-called noux packages (such as coreutils, > bash, and vim) will end up being installed at > '<build-dir>/bin/<noux-package-name>'. Because the build system skipped > those packages in your case, these directories do not exist. However, > the run script expects them to be present after having completed the > build step. When it tries to generate a vimrc file at the > '<build-dir>/bin/vim/share/vim/vimrc', it fails because the surrounding > directory does not exist. > > Maybe it would be a good idea to let the run script detect this > condition and print a more meaningful error message? > > > I need my own vim configuration file? > > The run script generates a vim configuration file for you. > > > I am not too used to vim... I prefer nano. > > The 'noux_bash.run' script generates a system that consists only of > coreutils, bash, and vim. It is just an example and is meant as a > starting point for creating customized systems. For example, the > noux_tool_chain* scripts describe much more sophisticated system > scenarios including gcc and binutils. > > There is currently no noux package for nano. So you would need to port > nano first before being able to integrate it. If you like to give it a > try, look for the way how a simple noux package such as GNU make is > integrated in the 'ports' repository. Depending on the package, the > porting work may involve slight refinements of the libc or noux, or will > even require you to port additional libraries first. Of course, you will > also need to modify the run script accordingly. You are welcome to give > it a shot. > > Or alternatively, how about taking the lack of nano as a wonderful > opportunity to learn (and learn loving) vim, hehe... :-) > > Cheers > Norman > > -- > Dr.-Ing. Norman Feske > 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 > > ------------------------------------------------------------------------------ > Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, > MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current > with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft > MVPs and experts. ON SALE this month only -- learn more at: > http://p.sf.net/sfu/learnnow-d2d > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main >

5 13

Signal_dispatcher & base-hw
by Martin Stein 30 Jan '13

30 Jan '13

If i didn't misunderstood the function of 'Signal_dispatcher' it should be provided through a separate header. This is because 'base-hw' implements the basics of 'base/signal.h' (Signal, Signal_receiver, Signal_context, Signal_transmitter) by itself, to optimize the code via specific kernel-mechanisms. But there seems to be no need to add a specific implementation of 'Signal_dispatcher' because it only . Am i right?

2 1

debug vs. release
by Daniel Waddington 30 Jan '13

30 Jan '13

Hi, Does the Genode build system have support for debug vs. release build differentiation? Are there conventions for code-level conditionals? If not, I suggest you the Genode folks might consider adding to the road map. Daniel

2 1

[Genode] why do I need to rebuild ports for different platforms? was: buid directory outside ...
by Paul Dufresne 29 Jan '13

29 Jan '13

I said: --- While trying the different 'platforms' (kernels), the build system seems a bit unoptimized. To me, rebuilding libports, ports, gems in each different kernels don't make much sense. I don't expect them to apply patch platform-specifics, only Genode-specifics. So it would make sense to specify two directory on create_builddir: one common for all platforms, and one for the platform. --- Norman replied: That would be cool but it is not possible. Even though those libraries look like being the same for each base platform, they are different. At compile time, those libraries ultimately depend on platform-specific header files (e.g., the kernel's syscall bindings). So a library built for one kernel will typically not work on another kernel because it would try to call kernel functions in wrong ways. In theory, all those kernel-specific things could be encapsulated in a single kernel-specific library with an interface that hides all kernel details. But in practice, this would be extremely difficult and the extra indirection needed for that would certainly imply runtime overheads. In my opinion, the little added value of such a feature does not justify opening a big can of problems. --- Strange. You made me think if I expect libc to be differently compiled for different platforms. I concluded that I don't expect so. In fact I expect everything running above Core, to not be platform-specific, including device drivers. Sure, we don't need to build some drivers if the architecture does not have the coresponing hardware, but that does not means it would be compiled differently. And I definitively *do not* expect libraries to be compiled with specific kernel headers file. I expect libc, device drivers, to call Core the same way, and Core to be compiled in a specific manner for each platform.

2 2

Change of session name at runtime
by Ivan Loskutov 29 Jan '13

29 Jan '13

*I’m trying to implement virtual network between two instances of the L4Linux. Moreover, each L4Linux has access to own ethernet controller. Genode hasn’t support two NIC drivers yet. It not work because each NIC try to use one IRQ and interrupt handler doesn't work correct. It can be solved by remapping PCI interrupts. The interrupt handler was temporarily moved to PCI driver. But it isn’t a good solution. I have used a Nic interface for internal network drivers and I have implemented two drivers, the first driver has implementation Nic server and the second - Nic client. But I need one L4Linux would have two connection to different Nic session. As I understand it cannot be solved in current Genode implementation. For solve it I have made copy of the nic_session headers with announce Nic2 session name. Part of my config: ... <start name="l4linux.1"> <binary name="l4linux-srv"/> <resource name="RAM" quantum="200M"/> <config args="mem=128M console=tty1 console=ttyS0 l4x_rd=rootfs1.cpio.gz l4x_cpus=1 l4x_cpus_map=0"/> <provides> <service name="Nic2"/> </provides> <route> <service name="Input"> <child name="linux.1"/> </service> <service name="Framebuffer"> <child name="linux.1"/> </service> <service name="Nic"> <child name="nic_drv.1"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="l4linux.2"> <binary name="l4linux-clnt"/> <resource name="RAM" quantum="200M"/> <config args="mem=128M console=tty1 l4x_rd=rootfs2.cpio.gz l4x_cpus=1 l4x_cpus_map=1"/> <route> <service name="Input"> <child name="linux.2"/> </service> <service name="Framebuffer"> <child name="linux.2"/> </service> <service name="Nic"> <child name="nic_drv.2"/> </service> <service name="Nic2"> <child name="l4linux.1"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> ... I think it would be nice to have session name can be changed in the config like binary executable name and session name for connection can be specified at runtime. This may look like: config: <provides> <service name=”Nic2” base_name=”Nic”/></provides> and source: Nic::Connection nic(“Nic2”); Is it possible? Maybe you have another solution?* -- Ivan Loskutov

2 3

Re: 8 bits depth framebuffer not working
by unknown＠example.com 28 Jan '13

28 Jan '13

Is that a hint to 'get to work!!' ? :) > ----- Original Message ----- > From: Paul Dufresne > Sent: 01/23/13 06:10 PM > To: Genode OS Framework Mailing List > Subject: 8 bits depth framebuffer not working > > >nitpicker and the other GUI components only support graphics modes with RGB565 colors currently > Indeed, trying to use 1024x768 with 8 bits depth I was expecting very > ugly colors, but it is worst than that. Although I was able to > distinguish Launchpad window, I was not able to interact with it. > > ------------------------------------------------------------------------------ > Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, > MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current > with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft > MVPs and experts. ON SALE this month only -- learn more at: > http://p.sf.net/sfu/learnnow-d2d > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main >

1 0

build directory outside of Genode dir xor vim error
by Paul Dufresne 28 Jan '13

28 Jan '13

Well, I have tried maybe too many new things at once and it I have now broken pieces I would wish to share with you. :-) First change: staging rather than master. Second change: try make run/noux_bash Third change: ./tool/create_builddir linux_x86 BUILD_DIR="./build.lx" rather than the usual: ./tool/create_builddir linux_x86 BUILD_DIR="build.lx" About third change, result in make run/noux_bash to: Program core/core make[1]: Leaving directory `/home/paul/build.lx' genode build completed find: `bin/coreutils/': No such file or directory while executing "exec sh -c "find bin/bash/ bin/vim/ bin/coreutils/ -type f | (xargs [cross_dev_prefix]strip || true) 2>/dev/null"" (file "/home/paul/mygenode/ports/run/noux_bash.run" line 41) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/paul/mygenode/tool/run" line 508) make: *** [run/noux_bash] Error 1 so I $mv ~/build.lx ~/mygenode/build.lx But then: $ cd mygenode/build.lx/ Program core/core make[1]: Leaving directory `/home/paul/mygenode/build.lx' genode build completed couldn't open "bin/vim/share/vim/vimrc": no such file or directory while executing "open "bin/vim/share/vim/vimrc" w" invoked from within "set vimrc_fd [open "bin/vim/share/vim/vimrc" w]" (file "/home/paul/mygenode/ports/run/noux_bash.run" line 30) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/paul/mygenode/tool/run" line 508) make: *** [run/noux_bash] Error 1 paul@...162...:~/mygenode/build.lx$ I need my own vim configuration file? I am not too used to vim... I prefer nano.

2 2

Re: copyrights, patents, IP and integrity.
by unknown＠example.com 28 Jan '13

28 Jan '13

Thanks for straightening that out. I'm not sure what a troll is so I'm ill placed to say I'm not one :). I also can't say much about the FUD since I didn't get a copy of my email with your reply. I'll take your word for it :). With regards to Genode's approach to patents I have to say that though not patenting any of the research and possibly subsequent work can be seen as commendable it does not guarantee the non patentability of the work through publication (I'd been misled to believe this in the past concerning my work). The actual patentable processes have to be identified and published to make the patent 'public'. I've made the correction for my own work by integrating patentable process identification in the development work flow (and possibly the ide, but that's an auii thing..). I'm guessing that corporations do this allready. Not to be pretentious, though it's a little too late for that at this point, I'd suggest considering doing likewise with your own work. Though I'm not sure what a patent troll is it might address the issue. At least it provides miuch better assurance for a public patent. Hope that clarifies my end. Hope also it clarifies why I am a bit bighty towards the fsf's and consequently the GPL approach since it has left those who have not identified their software's patentable processes open others to privately patent. [!warning: FUD follows] People who usually have the funding and vested interest to do so. :) > ----- Original Message ----- > From: Norman Feske > Sent: 01/25/13 11:28 AM > To: Genode OS Framework Mailing List > Subject: Re: copyrights, patents, IP and integrity. > > Hello, > > I must admit that I was struggling whether to answer your post or not. > It comes with a sense of entitlement that makes me uneasy. Also, I > cannot grasp the incentive of spreading FUD about a project and the > associated company out of the blue. So it is tempting to dismiss your > posting as an attempt to troll. > > However, behind the insulting surface, you expressed a valid concern. > Namely that Genode Labs may just pay lip service to Open Source and Free > Software while patenting the technology behind the back of the > community. So I feel that keeping your posting dangling without any > response might be a mistake. > > Hereby, I want to set the record straight: Genode Labs has not filed a > single patent. To the best of my knowledge, Genode OS technology is not > encumbered by any patents. But who knows that for sure, given the > thousands of patents filed each year, many of them covering trivial and > mundane things? I expressed my stance on the subject before. Allow me to > quote myself (feels a bit silly, but anyway): > > "... there are things that are concerning or even frightening us. > I'm speaking of software patents. Being an Open-Source project > developing a new technology, we are aware that someone or some > company may patent our ideas and there is not much we can do against > this. I fear software patents as a cancerous threat to projects > such as ours." > > I think that this statement leaves not much room for interpretation. > > Regarding discussions about Open-Source licensing or the way the project > is organized: Cheap talk and spreading FUD is easy. Chit chatting about > these matters by people who have no stake in the project is usually > cheap talk. Even if such people show no sign of activity whatsoever, > they somehow feel entitled to be experts and vocally express their > opinion. Please don't bother the list with cheap talk and spare us > spreading FUD. For honest inquiries about licensing, please contact > licensing@...1... > > Regards > Norman > > -- > Dr.-Ing. Norman Feske > 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 > > ------------------------------------------------------------------------------ > Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, > MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current > with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft > MVPs and experts. ON SALE this month only -- learn more at: > http://p.sf.net/sfu/learnnow-d2d > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main >

1 0

Re: About Enlightenment and EFL
by unknown＠example.com 28 Jan '13

28 Jan '13

Paul, Are you looking to have this work on a microkernel or on top of a microkernel service? If the former and if I understand the microkernel pardigm Evas is said to write to the hardware and would have to be ported to/as a (microkernel) service. Is that what you have in mind here? > ----- Original Message ----- > From: Paul Dufresne > Sent: 01/25/13 04:04 PM > To: Genode OS Framework Mailing List > Subject: Re: About Enlightenment and EFL > > Now that I am reading the README of Evas 1.7.4 (I would think only > this lib deals with backend buffers), the restriction seems much less > strict: > > Must: > libc > eina (1.1.0 or better) > freetype (2.1.9 or better) > > Recommended: > libX11 + libXext + libXrender > OpenGL2.0 or OpenGL-ES 2.0 > fontconfig > libpng > libjpeg (6.0 or better) > eet (1.5.0 or better) > fribidi > harfbuzz > liblinebreak > > Optional: > XCB SDL OpenGL esvg libtiff libgif edb DirectFB evas_generic_loaders > > So X11 is optional. > > Using configure with: > The following seems interesting: > > --enable-fb[=static] [well less interesting] > this is the software framebuffer driving engine. this uses the linux > framebuffer device (/dev/fb{X}) and will currently just inherit the current > framebuffer settings on the fb device and use them to run in. this engine is > almost fully functional except for the fb management itself. this engine is > specifically geared towards people writing minimalist display systems for > embedded devices such as the ipaq, zaurus, etc. it also scales up to high-res > desktop systems as > well. > > --enable-directfb[=static] > this is the direct fb engine that uses direcftb (http://www.directfb.org) on > linux to access the framebuffer with (or maybe without) acceleration. for > people making set-top boxes or just wanting an alternative to X this is > really good. it may also be useful for embedded devices supported by > directfb that offer acceleration (otherwise the fb driver will likely be > faster). as such this engine is in relative disrepair and is not > maintained. use with great care. > > --enable-buffer[=static] > this enables the memory buffer rendering engine. this engine renders > to a region of memory that is considered to be a 32bit ARGB buffer of > pixels, allowing the results of rendering to be directly read out or > used again for other purposes. > > --enable-software-sdl[=static] [probably the most interesting since > SDL is ported to Genode] > this is the sdl engine that uses sdl library (http://www.libsdl.org). This > library should work on many operating system. the buffer is > software-rendered with evas's default software rendering core. > > ------------------------------------------------------------------------------ > Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, > MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current > with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft > MVPs and experts. ON SALE this month only -- learn more at: > http://p.sf.net/sfu/learnnow-d2d > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main >

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users