users November 2012

users@lists.genode.org

15 participants
15 discussions

Confusion about global and local names/ids of capability in the source code
by jaeyong yoo 09 Nov '12

09 Nov '12

Hello, I was reading the codes about capabilities, and I found this, which is suspected as a conflict in my understanding. 1) In Cap_index class, we have an id, which is commented as global capability id: class Cap_index { ...blah uint16_t _id; /* global capability id */ ...blah }; 2) But in Native_capability class, there is something like this: class Native_capability { ...blah int local_name() const { return _idx ? _idx->id() : 0;} ...blah }; here, the id of Cap_index (i.e., commented as global capability id) is returned as local_name. I think it is a conflict or do I miss something? Please enlighten me about this. Best, Jaeyong

2 1

Re: GRUB Error 16: Inconsistent filesystem structure when try toload core in Genode/NOVA demo
by chappewr＠...145... 05 Nov '12

05 Nov '12

1 - menu.lst - I can either include it in-line or as an attachment (I hate to pound the mailing list with it) - I do not have a place to post it at the moment. 2 - yes to all. The Genode and kernel binaries are on the same harddisk as /boot/grub/menu.lst. 3 - all binaries in same partition, including (just for completeness) the vmlinuz-* kernels. all same filesystem filesystem is ext4 The hypervisor (NOVA) loads OK, so it is being found. Legacy GRUB halts with the error when it starts to load the core. The menu.lst code is based on a template in Genode documentation. The specific section preceded by the primary Linux section is this: title Ubuntu 12.04.1 LTS, kernel 3.2.0-32-generic-pae uuid 2213d6b0-360e-450c-929a-b4ad2442322b kernel /boot/vmlinuz-3.2.0-32-generic-pae root=UUID=2213d6b0-360e-450c-929a-b4ad2442322b ro quiet splash initrd /boot/initrd.img-3.2.0-32-generic-pae checkfile /TG/check.file title Genode demo scenario uuid 2213d6b0-360e-450c-929a-b4ad2442322b kernel /usr/local/src/genode-12.08/build.nova/kernel/hypervisor noapic module /usr/local/src/genode-12.08/build.nova/core/core module /usr/local/src/genode-12.08/build.nova/init/init module /usr/local/src/genode-12.08/os/config/demo module /usr/local/src/genode-12.08/build.nova/drivers/timer/nova/timer module /usr/local/src/genode-12.08/build.nova/drivers/input/ps2/x86/ps2_drv module /usr/local/src/genode-12.08/build.nova/drivers/pci/x86/pci_drv module /usr/local/src/genode-12.08/build.nova/drivers/framebuffer/vesa/vesa _drv module /usr/local/src/genode-12.08/build.nova/app/launchpad/launchpad module /usr/local/src/genode-12.08/build.nova/server/nitpicker/genode/nitpi cker module /usr/local/src/genode-12.08/build.nova/server/liquid_framebuffer/liq uid_fb module /usr/local/src/genode-12.08/build.nova/server/nitlog/nitlog module /usr/local/src/genode-12.08/build.nova/test/nitpicker/testnit module /usr/local/src/genode-12.08/build.nova/app/scout/genode/scout Thank you. Bill Chappell Original Message: ----------------- From: Alexander Boettcher alexander.boettcher@...1... Date: Thu, 01 Nov 2012 10:29:08 +0100 To: genode-main(a)lists.sourceforge.net Subject: Re: GRUB Error 16: Inconsistent filesystem structure when try toload core in Genode/NOVA demo Hello, can you please put your grub menu.lst configurations somewhere and post a link, so we can have a look. Do I understand it correctly, that you want to add a grub boot entry to an existing Linux installation ? That means that the Genode and Kernel binaries are located somewhere on a harddisk and not on a CDROM/ISO image anymore ? If yes, are the kernel binary and the Genode binaries located on the same partition of the harddisk or they are on potential different partitions ? Do they have the same filesystem type ? Which filesystem you are using ? Cheers, Alex. On 26.10.2012 11:34, Bill Chappell wrote: > I am trying to run the Genode(12.08)/NOVA demo as a boot option under > Legacy GRUB following the "official" Genode instructions. > When GRUB executes the line "module <path>/core", it halts > with Error 16 as in the subject line. Also if I use full paths, no > symlinks. > When I edit the Genode Demo entry as GRUB runs and delete everything > below the "kernel hypervisor" line, NOVA loads, reports 2 cores, and halts > because "no ELF". > "file core" reports that core is a 32 bit ELF. > I have successfully run the Genode demo on top of Ubuntu 12.04 LTS and the > Genode/NOVA demo on top of Ubuntu 12.04 LTS. > GRUB savedefault is false. > I tried the patch to stage2/fsys_iso9660.c with no luck. > I have used both an IBM ThinkCentre and an HP laptop (6530b) with both > Legacy GRUB and Legacy GRUB with Trusted GRUB patches. > "The Google" is out of suggestions. > Thank you. > > ---------------------------------------------------------------------------- -- > Everyone hates slow websites. So do we. > Make your web apps faster with AppDynamics > Download AppDynamics Lite for free today: > http://p.sf.net/sfu/appdyn_sfd2d_oct > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > ---------------------------------------------------------------------------- -- Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_sfd2d_oct _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main -------------------------------------------------------------------- mail2web.com Enhanced email for the mobile individual based on Microsoft® Exchange - http://link.mail2web.com/Personal/EnhancedEmail

2 1

Re: GRUB Error 16: Inconsistent filesystem structure when try toload core in Genode/NOVA demo
by chappewr＠...145... 02 Nov '12

02 Nov '12

Thank you for your effort. Because the project uses Trusted GRUB which is Legacy GRUB with some patches, GRUB2 is not an option for me at the moment. I will save your GRUB2 update for the future. I did find the copying of the demo binaries to be an interesting thought. Bill Chappell Original Message: ----------------- From: Alexander Boettcher alexander.boettcher@...1... Date: Fri, 02 Nov 2012 09:16:14 +0100 To: genode-main(a)lists.sourceforge.net Subject: Re: GRUB Error 16: Inconsistent filesystem structure when try toload core in Genode/NOVA demo On 01.11.2012 10:29, Alexander Boettcher wrote: > On 26.10.2012 11:34, Bill Chappell wrote: >> I have successfully run the Genode demo on top of Ubuntu 12.04 LTS and the >> Genode/NOVA demo on top of Ubuntu 12.04 LTS. >> GRUB savedefault is false. I tried to reproduce the issue. I have compiled Genode master at a Ubuntu 12.04 LTS installation, copied the binaries of the demo setup into the boot partition (for me ext2), added a grub2 entry and then I had to run the grub2 configuration/update tool. At the next boot I could choose the Genode@...153... entry and the demo setup came up finally. Short instruction summary: * put the attached grub2 entry to the folder /etc/grub.d and make it executable * uncomment the GRUB_HIDDEN_TIMEOUT* values in /etc/default/grub * run "sudo update-grub" * verify that the boot entry really showed up in /boot/grub/grub.cfg * copy the binaries of the Genode/Nova build directory to /boot/genode/. I hope it helps, Alex. -------------------------------------------------------------------- mail2web - Check your email from the web at http://link.mail2web.com/mail2web

1 0

About getting thread id
by jaeyong yoo 02 Nov '12

02 Nov '12

Hello genode, I have a rather simple question. At any place in source code, how can I know the thread id? For instance, in the body of main function like, int main() { ... blah id = some_action_to_get_thread_id(); ... blah } Best, Jaeyong

2 1

GRUB Error 16: Inconsistent filesystem structure when try to load core in Genode/NOVA demo
by Bill Chappell 02 Nov '12

02 Nov '12

I am trying to run the Genode(12.08)/NOVA demo as a boot option under Legacy GRUB following the "official" Genode instructions. When GRUB executes the line "module <path>/core", it halts with Error 16 as in the subject line. Also if I use full paths, no symlinks. When I edit the Genode Demo entry as GRUB runs and delete everything below the "kernel hypervisor" line, NOVA loads, reports 2 cores, and halts because "no ELF". "file core" reports that core is a 32 bit ELF. I have successfully run the Genode demo on top of Ubuntu 12.04 LTS and the Genode/NOVA demo on top of Ubuntu 12.04 LTS. GRUB savedefault is false. I tried the patch to stage2/fsys_iso9660.c with no luck. I have used both an IBM ThinkCentre and an HP laptop (6530b) with both Legacy GRUB and Legacy GRUB with Trusted GRUB patches. "The Google" is out of suggestions. Thank you.

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users November 2012