users

users@lists.genode.org

2320 discussions

create recipe for ADA library
by Pirmin Duss 13 Jun '18

13 Jun '18

Hello all, I'm trying to create a recipe to build the ADA library as a package archive [1]. Building the library fails with the following error message: Library ada COMPILE a-except_c.o COMPILE gnat_except.o COMPILE s-secsta.o fatal error, run-time library not installed correctly cannot locate file system.ads compilation abandoned /home/pirmin/GapFruit/genode/repos/base/mk/generic.mk:83: recipe for target 's-secsta.o' failed make[6]: *** [s-secsta.o] Error 1 var/libdeps:42: recipe for target 'ada.lib' failed make[5]: *** [ada.lib] Error 2 system.ads is copied in to the source directory of the depot. An other point that doesn't look nice currently is the way used to obtain the location of the port sources [2]. Is there a way to get rid of the "../ports/" part? [1] https://github.com/trimpim/genode/tree/adalib_recipe [2] https://github.com/trimpim/genode/blob/0d40aa7303aca743dc6270f33ecd3e2a3736… best regards, Pirmin

2 2

Re: create recipe for ADA library
by Martin Stein 13 Jun '18

13 Jun '18

Hi Pirmin, Sorry for the delayed answer. El 04/06/18 a las 09:00, Pirmin Duss escribió: > Hi Martin > > On 03.06.2018 12:26, Martin Stein wrote: >> Hi Pirmin, >> >> El 01/06/18 a las 16:11, Pirmin Duss escribió: >>> An other point that doesn't look nice currently is the way used to >>> obtain the location of the port sources [2]. Is there a way to get rid >>> of the "../ports/" part? >> There exists the select_from_ports function that is used widely. Examples: >> >> ARORA_PORT_DIR := $(call select_from_ports,arora) >> >> LIBPNG_DIR := $(call select_from_ports,libpng)/src/lib/libpng > > > select_from_ports seems to return an empty string when I use > PORT_DIR := $(call select_from_ports,gcc)/src/noux-pkg/gcc/gcc > > the copy action fails as it tries to read files from > /src/noux-pkg/gcc/gcc and not out of the port dir. > > Is it possible, that call select_from_ports is only available in the run > scripts? > > best regards, Pirmin > The select_from_port shouldn't depend on the Run mechanism in general. There should also be no problem with using it for noux packages. I assume that there is something missing in your port description that makes select_from_ports fail. You can find a pretty comprehensive description of what is needed for select_from_ports to work with a given port next to its implementation in [1] (see also _lookup_port_hash_file in the same file). Did this help you? Martin [1] base/mk/util.inc

1 0

(no subject)
by Divya Lakshmanan 13 Jun '18

13 Jun '18

Hello, I am working to load Genode on a custom board. For the Sabrelite board, I have seen in the forums that the load address of the Genode image is 0x10800000. I have been successful with loading Genode on the Sabrelite board. Can someone tell me how I can find the similar load address for my custom board? To be able to boot Genode on it. Thank you.

2 1

Error: "No RM attachment, invalid signal context capability"
by Harsha Sharma 12 Jun '18

12 Jun '18

Hello, I get this error with "make run" in my genode and L4 fiasco kernel project. no RM attachment (READ pf_addr=0 pf_ip=102f56c from 2e3000) Warning: invalid signal-context capability Warning: could not resolve pf=0x0 ip=0x102f56c What can be the reason of this kind of error ? What are pf_addr and pf_ip here (I tried looking in genode book but couln't find anything) ? Any help will be appreciated. Thanks. Regards, Harsha Sharma

2 1

We are hiring!
by Pirmin Duss 11 Jun '18

11 Jun '18

Senior QT/C++ Software Engineer gapfruit AG is a hi-tech startup based in the crypto-valley with the goal to develop a security-focused operating system for everyone. The company started in May 2018. We are an ambitious team with years of experience in building high-security systems. We are looking for a experienced QT/C++ developer to help us build the next generation end-user operating system. The person we are looking for will set the initial architecture for the user interface. Required qualifications: * Education * MSc in Computer Science or Electrical Engineering * Tech knowledge: * Strong expertise in the QT framework and C++ * Knowledge in using Linux and its tool chains * Experience in embedded computing, virtualization, driver development or micro-kernels * Background in game engine development is a plus * Soft skills: * Open to think outside of the box for new desktop UX concepts * Team player in a multi disciplinary team * Ability to adapt new technologies quickly As a senior software developer at gapfruit AG, you will have the opportunity to pioneer, develop and build the way people will use their computer. You will take an important part in our company and will benefit from an attractive environment in the heart of Zug, Switzerland. If you are interested, please send your CV to jobs(a)gapfruit.ch

1 1

my Sculpt Early Adopters experiences
by Guido Witmond 09 Jun '18

09 Jun '18

Hi Genodians, Last week I've played with the Sculpt EA system. It looks great. And with the new booting code, it runs on my hardware. It boots on my old Gigabyte H67MA-USB3-B3 mobo with a Pentium G620 processor and 16 GB RAM. I didn't connect any Sata disks yet. Built-in Intel video to VGA and DVI-D display. No RS232 output, regrettably. (Another box, a DELL optiplex 360 PC, does do RS232 after grub but lacks recognised display adapter and reboots). My experiences: Things that work: - booting, OK; - Leitzentrale OK; - Disk, network and debug log OK; - live reconfiguration of display from VGA to DVI OK; - wired network config OK; however the system does not respond to ping; - Deploy backdrop OK, 2048 game OK, noux OK. After that I had some less luck. - Some downloads seem to hang. It could either be out of RAM (config), or a lost packet that is not detected. I'm using the RAM-disk that gets to 64MB in size. (I remember, but could not reproduce) it going to 128MB - Expanding the GENODE-partition on the USB-stick makes it unbootable. The system can't find and start Grub anymore. This happened repeatable both with a Kingston 8GB USB2 stick as well as with a Sandisk 32GB USB3 stick. I haven't been able to test the virtual machine with debian payload due to the download errors. Questions: - is there a way to send the debug log via ethernet? - did I miss some configuration settings that made the downloads get stuck? Cheers, Guido.

2 2

Re: Sculpt TC - Error Building "image/disk"
by Christian Helmuth 08 Jun '18

08 Jun '18

Hello John, On Thu, Jun 07, 2018 at 01:15:01PM -0400, John J. Karcher wrote: > On 06/07/2018 02:51 AM, Christian Helmuth wrote: > > export PARTED_GPT_APPLE=0 > > make run/sculpt KERNEL=nova > > That worked like a charm! thanks for your help. I also added PARTED_GPT_APPLE=0 to the run tool to reduce the noise. Regards -- 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

2 1

Booting genode is using source code
by Prakash A 08 Jun '18

08 Jun '18

Dear sir/madam Please instruct me how to boot a os using qemu emulator.. Thanking you, PRAKASH A

1 0

Sculpt TC - Error Building "image/disk"
by John J. Karcher 07 Jun '18

07 Jun '18

Hello, I am happy to report a very smooth initial experience with Sculpt TC running in VirtualBox. I followed the tutorial (skipping the parts about virtualization, of course), and everything went well, with the exception of the minor error I will describe below. The Sculpt Manager is surprisingly convenient and mature, and the under-the-hood improvements are impressive as always. I really like the direction things are moving! My only problem was building the "image/disk" version of the image. For development, I am running an up-to-date Debian Unstable, which has worked well for me so far. Here is the relevant part of the output: checking configuration syntax CHECK init using 'core-nova.o' as 'core.o' Run script aborted because gdisk is not installed Makefile:312: recipe for target 'run/sculpt' failed make: *** [run/sculpt] Error 1 In fact, "gdisk" is installed, but it doesn't run under a normal user. I could hack the scripts to use "sudo", but I thought I'd check here first, in case there is a simple solution (since Ubuntu and Debian usually operate similarly). I obviously don't expect Linux distro tech support - if there isn't an easy answer, I'll just install Ubuntu. Thanks! -- John J. Karcher devuser(a)alternateapproach.com

4 5

use of make functions while building libraries in depots
by Pirmin Duss 04 Jun '18

04 Jun '18

Hello, While debugging the build error in adalib I observe, that the content of a file created by the library make file contains incorrect path information: The line below should write the path to the sources of the ADA runtime library in to a file: $(VERBOSE)$(shell echo $(CONTRIB_DIR)/gcc-$(shell echo $(call _hash_of_port,gcc) | cut -d" " -f1)/src/noux-pkg/gcc/gcc/ada > $(ADA_RTS)/ada_source_path) when I inspect the created file it contains the following: /gcc-/src/noux-pkg/gcc/gcc/ada Some questions arise from this situation: 1) is it ideal to use the source in the contrib directory while building depots or should all source be copied in to the src package? and depending on the answer to the above question: 2) when using the source from contrib how to use the functions while building depots? 3) when copying all source in to the src package, how to handle the changes required to the make file for the library? best regards, Pirmin

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users