On 19.01.2018 19:21, Subhadeep Sarkar wrote:
Hi,
I am a researcher at Inria France and am presently exploring Genode as
a potential option to perform hands on with Sel4. I am relatively new
to Genode and having an issue while installing it.
Here is the issue:
I am trying to install Genode on
Hi, I'm now trying to port my L4Env-based program to Genode. It is a
runtime environment to run OS/2 programs on a L4 family microkernel
(Inspired by OS/2 Warp, PowerPC edition/IBM Workplace OS). Currently,
the working version (actually, some proof-of-concept) is running under
L4Env, but I plan
On 19.01.2018 23:33, Norman Feske wrote:
Hi Valery,
I also know, that there is a support for managed dataspaces, or nested
region maps, which could be useful here (at least, for implementing a
shared memory area), but I also know, that nested region maps are not
supported on all platforms (like
On 20.01.2018 02:05, Valery V. Sedletski via genode-main wrote:
On 19.01.2018 23:33, Norman Feske wrote:
For reference, you may take
a look at the handling of the stack area, which is a 256MiB-sized
virtual-address space window that is sparsely populated with the stacks
of the component-local
On 20.01.2018 02:05, Valery V. Sedletski via genode-main wrote:
Also, I'm wondering, are the stack area and the linker area still
implemented as managed dataspaces
on base-linux? So, they are the same as on other platforms, but they
only couldn't be nested? (As I understand,
dataspace
*From: *"Valery V. Sedletski via genode-main"
*To: *genode-main@lists.sourceforge.net
*Cc: *"Valery V. Sedletski" <_valer...@mail.ru>
*Sent: *Friday, January 19, 2018 6:15:15 PM
*Subject: *Re: Installing Genode within container
On 19.01.2018 1
ne Atlantique
Campus universitaire de Beaulieu
35042 Rennes cedex, France
Website: subhadeep.cf
E-mail: subhadeep.sar...@inria.fr ; subhadeepsarkar...@yahoo.com
Phone: +33 2 99 84 73 52
--------
Hi, I tried to boot Genode scenarios from my bootable flash stick. It
uses GRUB 1 "Legacy". Tried to boot Genode/Nova with bender with GRUB
"legacy" (actually, GRUB4DOS). I have the following entries in menu.lst:
title Sculpt scenario (Genode/Nova)
kernel /genode/bender
module /genode/hyper
Installed GRUB2 on another flash stick (with FAT32) and trying to boot
the same setup as above:
set timeout=0
set gfxpayload="0x0x32"
menuentry 'Genode on NOVA' {
insmod multiboot2
insmod gzio
insmod part_msdos
insmod fat
multiboot2 /boot/bender
module2 /boot/hypervisor hypervisor iommu s
On 20.02.2018 01:24, Valery V. Sedletski via genode-main wrote:
Hi, I tried to boot Genode scenarios from my bootable flash stick. It
uses GRUB 1 "Legacy". Tried to boot Genode/Nova with bender with GRUB
"legacy" (actually, GRUB4DOS). I have the following entries in menu.
On 21.02.2018 22:43, Valery V. Sedletski via genode-main wrote:
Also, is it possible for Genode build system to avoid assembling all
modules into image.elf, so I could load them separately as multiple
modules? (at least, older Genode versions did so)
Ok, I commented
# exec rm -rf [run_dir
Hi, I tried to boot Genode scenarios from my bootable flash stick. It
uses GRUB 1 "Legacy". Tried to boot Genode/Nova with bender with GRUB
"legacy" (actually, GRUB4DOS). I have the following entries in menu.lst:
title Sculpt scenario (Genode/Nova)
kernel /genode/bender
module /genode/hyper
On 23.02.2018 14:55, Norman Feske wrote:
Hello Valery,
I have the impression that your undertaking goes very much against the
grain of our regular work flow. Frankly speaking, I miss the point of
bypassing our tooling and instead manually working with boot modules. We
deliberately moved away fro
On 27.02.2018 22:31, Alexander Boettcher wrote:
Hello,
On 23.02.2018 18:47, Valery V. Sedletski via genode-main wrote:
scenarios, so far. NOVA seems to hang on my three available
machines, for some reason. So, I tried the Fiasco.OC kernel instead.
(But VirtualBox and Seoul are working on NOVA
On 28.02.2018 15:25, Alexander Boettcher wrote:
On 28.02.2018 00:58, Valery V. Sedletski via genode-main wrote:
[1] https://imgur.com/a/kSptw
The ACPI table named ATKG seems to cause also trouble on other Linux
machines according to my search results. Maybe you can apply the latest
BIOS
On 01.03.2018 11:25, Norman Feske wrote:
Hi Valery,
[init] [31mError: RAM preservation exceeds available memory[0m[0m
[init] [34mWarning: runtime: assigned RAM exceeds available RAM[0m[0m
...
[init] [34mWarning: specified quota exceeds available quota, proceeding
with a quota of 34246677
On 04.03.2018 13:53, Tomasz Gajewski wrote:
"Valery V. Sedletski via genode-main"
writes:
These messages:
[init -> drivers -> driver_manager] [31mError: Could not open ROM session for
"platform_info"[0m[0m
[init -> drivers -> driver_manager] [31mError: Un
On 05.03.2018 14:09, Norman Feske wrote:
Hello Valery,
On 04.03.2018 17:06, Valery V. Sedletski via genode-main wrote:
Though, trying to run "sculpt_test" on NOVA in QEMU, I see "drivers" and
"leitzentrale",
and "runtime" starting, and then silence (no
On 05.03.2018 13:16, Alexander Boettcher wrote:
On 01.03.2018 02:01, Valery V. Sedletski via genode-main wrote:
and re-create the interactive driver package (as shown above).
Yes, I increased caps quota for fb_drv now, and commented "throw" out in
acpi.cc, this
Can you please test
19 matches
Mail list logo
