l4linux fails on fiasco.oc 64bit

[john stokes]

i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
building the build directory for foc_x86_64 i am agian trying to run the
run script of l4linux from the build directory then i am getting this error

I have changed the <spec>.conf and of the ports-foc and other tarhget.mk for
my
foc_x86_64 but it is not working the error is :


the same thing works fine for foc_x86_32

Program drivers/nic/nic_drv
Program drivers/platform/spec/x86/platform_drv
Library alarm
Library timer
Program drivers/timer/timer
Program drivers/uart/kdb/spec/foc/kdb_uart_drv
Program drivers/uart/spec/i8250/uart_drv
Program init/init
Library l4lx
COMPILE l4_util_util.o
In file included from
/home/rishabh/genode-16.05/repos/ports-foc/src/lib/l4lx/l4_util_util.cc:18:0:
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
function ‘void Fiasco::l4_touch_ro(const void*, unsigned int)’:
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:31:34:
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
bptr = (const char*)(((unsigned)addr) & L4_PAGEMASK);
^
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:32:34:
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
^
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
function ‘void Fiasco::l4_touch_rw(const void*, unsigned int)’:
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:45:28:
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
bptr = (char*)(((unsigned)addr) & L4_PAGEMASK);
^
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h:46:34:
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
^
make[3]: *** [l4_util_util.o] Error 1
make[2]: *** [l4lx.lib] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_64'
Error: Genode build failed
make: *** [run/l4linux] Error 252

[Nobody III]

On the error lines, you can try replacing "unsigned" with "const char *".
That should at least fix those errors. If that for some reason doesn't
work, you can replace it with "unsigned long long", but that will make
l4linux no longer compile for x86_32.

Post by john stokes
i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
building the build directory for foc_x86_64 i am agian trying to run the
run script of l4linux from the build directory then i am getting this error
I have changed the <spec>.conf and of the ports-foc and other tarhget.mk for
my
the same thing works fine for foc_x86_32
Program drivers/nic/nic_drv
Program drivers/platform/spec/x86/platform_drv
Library alarm
Library timer
Program drivers/timer/timer
Program drivers/uart/kdb/spec/foc/kdb_uart_drv
Program drivers/uart/spec/i8250/uart_drv
Program init/init
Library l4lx
COMPILE l4_util_util.o
In file included from
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
bptr = (const char*)(((unsigned)addr) & L4_PAGEMASK);
^
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
^
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
bptr = (char*)(((unsigned)addr) & L4_PAGEMASK);
^
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
^
make[3]: *** [l4_util_util.o] Error 1
make[2]: *** [l4lx.lib] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_64'
Error: Genode build failed
make: *** [run/l4linux] Error 252
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[john stokes]

thanks for helping me now i am getting these errors.
CHK include/generated/utsrelease.h
CC kernel/bounds.s
GEN include/generated/bounds.h
CC arch/l4/kernel/asm-offsets.s
In file included from
/home/rishabh/genode-16.05/build/foc_x86_64/include/l4/sys/types.h:417:0,
from
/home/rishabh/genode-16.05/build/foc_x86_64/include/amd64/l4f/l4/sys/ipc.h:29,
from
/home/rishabh/genode-16.05/build/foc_x86_64/include/amd64/l4/sys/segment.h:31,
from
/home/rishabh/genode-16.05/build/foc_x86_64/include/amd64/l4f/l4/sys/segment.h:1,
from arch/l4/include/asm/l4-arch/asm/segment.h:9,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/x86/include/asm/ptrace.h:4,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/x86/include/asm/vm86.h:5,
from arch/l4/include/asm/l4-arch/asm/processor.h:10,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/x86/include/asm/atomic.h:6,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/include/linux/atomic.h:4,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/include/linux/crypto.h:20,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/l4/kernel/../../x86/kernel/asm-offsets.c:8,
from
/home/rishabh/genode-16.05/contrib/l4linux-60792b132cd767f53991729999939a28b742f74d/src/l4linux/arch/l4/kernel/asm-offsets.c:2:
/home/rishabh/genode-16.05/build/foc_x86_64/include/l4/sys/__l4_fpage.h:71:3:
warning: left shift count >= width of type
L4_FPAGE_ADDR_MASK = ((1UL << L4_FPAGE_ADDR_BITS) - 1) <<
L4_FPAGE_ADDR_SHIFT,
^
/home/rishabh/genode-16.05/build/foc_x86_64/include/l4/sys/__l4_fpage.h:71:3:
error: enumerator value for ‘L4_FPAGE_ADDR_MASK’ is not an integer constant
make[6]: *** [arch/l4/kernel/asm-offsets.s] Error 1
make[5]: *** [prepare0] Error 2
make[4]: *** [sub-make] Error 2
make[3]: *** [/home/rishabh/genode-16.05/build/foc_x86_64/l4linux/vmlinux]
Error 1
make[2]: *** [vmlinux.prg] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_64'
Error: Genode build failed
make: *** [run/l4linux] Error 252

Post by Nobody III
On the error lines, you can try replacing "unsigned" with "const char *".
That should at least fix those errors. If that for some reason doesn't
work, you can replace it with "unsigned long long", but that will make
l4linux no longer compile for x86_32.

Post by john stokes
i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
building the build directory for foc_x86_64 i am agian trying to run the
run script of l4linux from the build directory then i am getting this error
I have changed the <spec>.conf and of the ports-foc and other tarhget.mk for
my
the same thing works fine for foc_x86_32
Program drivers/nic/nic_drv
Program drivers/platform/spec/x86/platform_drv
Library alarm
Library timer
Program drivers/timer/timer
Program drivers/uart/kdb/spec/foc/kdb_uart_drv
Program drivers/uart/spec/i8250/uart_drv
Program init/init
Library l4lx
COMPILE l4_util_util.o
In file included from
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
bptr = (const char*)(((unsigned)addr) & L4_PAGEMASK);
^
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
^
/home/rishabh/genode-16.05/repos/ports-foc/include/l4/util/util.h: In
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
bptr = (char*)(((unsigned)addr) & L4_PAGEMASK);
^
error: cast from ‘const void*’ to ‘unsigned int’ loses precision
[-fpermissive]
eptr = (const char*)(((unsigned)addr+size-1) & L4_PAGEMASK);
^
make[3]: *** [l4_util_util.o] Error 1
make[2]: *** [l4lx.lib] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_64'
Error: Genode build failed
make: *** [run/l4linux] Error 252
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[Norman Feske]

Hello John,

welcome to the list!

Post by john stokes
i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
building the build directory for foc_x86_64 i am agian trying to run the
run script of l4linux from the build directory then i am getting this error
I have changed the <spec>.conf and of the ports-foc and
other tarhget.mk <http://tarhget.mk/> for my
the same thing works fine for foc_x86_32

Unfortunately, the problem goes a bit deeper than some mismatching
types. The version of L4Linux currently used by Genode is not able to
run on 64 bit. We haven't updated the Fiasco.OC and L4Linux support for
the while. For running Linux as a Genode subsystem on x86 nowadays, we
normally use the NOVA kernel with our version of VirtualBox.

Cheers
Norman

[john stokes]

thanks i think it will work

Post by Norman Feske
Hello John,
welcome to the list!

Post by john stokes
i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
building the build directory for foc_x86_64 i am agian trying to run the
run script of l4linux from the build directory then i am getting this

error

Post by john stokes
I have changed the <spec>.conf and of the ports-foc and
other tarhget.mk <http://tarhget.mk/> for my
the same thing works fine for foc_x86_32

Unfortunately, the problem goes a bit deeper than some mismatching
types. The version of L4Linux currently used by Genode is not able to
run on 64 bit. We haven't updated the Fiasco.OC and L4Linux support for
the while. For running Linux as a Genode subsystem on x86 nowadays, we
normally use the NOVA kernel with our version of VirtualBox.
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
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[john stokes]

qemu shows blank screen in NOVA while running make run/virtualbox.
i have added QEMU_OPT += -display sdl to build.conf and changed environment
variable also export SDL_VIDEO_X11_DGAMOUSE=0 and i have demo scenario as
test.iso the terminal shows something like this:

[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: d
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: d
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: d
[init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t,
Genode::size_t, bool, void**, Genode::addr_t,
Genode::Dataspace_capability*): fb mapped to 1000
[init -> ps2_drv] Could not open ROM session for module "config"
[init -> ps2_drv] Could not obtain config file
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate).
[init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and
5-button support.
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init -> virtualbox] using the pipe libc plugin
[init -> virtualbox] getenv called for non-existent variable
"XML_MEM_BREAKPOINT"
[init -> virtualbox] getenv called for non-existent variable "XML_MEM_TRACE"
[init -> virtualbox] getenv called for non-existent variable "LC_ALL"
[init -> virtualbox] getenv called for non-existent variable "LC_CTYPE"
[init -> virtualbox] getenv called for non-existent variable "LANG"
[init -> virtualbox] getenv called for non-existent variable "PATH_LOCALE"
[init -> virtualbox] getenv called for non-existent variable
"VBOX_DISABLE_HOST_DISK_CACHE"
[init -> virtualbox] getenv called for non-existent variable
"CHARSETALIASDIR"
[init -> virtualbox] getenv called for non-existent variable "TZ"
[init -> virtualbox] getenv called for non-existent variable "TZ"
[init -> virtualbox] fcntl(): command 2 not supported
[init -> virtualbox] Log created: 2016-06-26T13:02:00.971000000Z
[init -> virtualbox] main Executable: /virtualbox
[init -> virtualbox] SystemProperties : Cannot determine default Guest
Additions ISO location. Most likely they are not available
[init -> virtualbox] main genodeConsole = 0000000000b87880
[init -> fb_drv] Could not open ROM session for module "config"
[init -> fb_drv] Could not obtain config file
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: SeaBIOS VBE(C) 2011
[init -> fb_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000
[init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t,
Genode::size_t, bool, void**, Genode::addr_t,
Genode::Dataspace_capability*): fb mapped to 400000
[init -> fb_drv] Using video mode: 1280 x 1024 x 16
[init -> virtualbox] getenv called for non-existent variable
"VBOX_USER_VMLOGDIR"
[init -> virtualbox] requested stack for thread 'EMT' of 1048576 Bytes is
too large, limit to 1036288 Bytes
[init -> virtualbox] getenv called for non-existent variable
"VBOX_SUPLIB_FAKE"
[init -> virtualbox] EMT Initial balloon size 0
[init -> virtualbox] Could not open ROM session for module "usb_devices"
[init -> virtualbox] Warning: abort called - thread: vCPU dispatcher
[init] virtual void Genode::Child_policy::exit(int): child "virtualbox"
exited with exit value 1
int main(): --- init created, waiting for exit condition ---

Post by john stokes
thanks i think it will work
On Sun, Jun 26, 2016 at 3:05 PM, Norman Feske <

Post by Norman Feske
Hello John,
welcome to the list!

Post by john stokes
i tried to run l4linux over foc_x86_32 platefrom it ran well. now after
building the build directory for foc_x86_64 i am agian trying to run the
run script of l4linux from the build directory then i am getting this

error

Post by john stokes
I have changed the <spec>.conf and of the ports-foc and
other tarhget.mk <http://tarhget.mk/> for my
the same thing works fine for foc_x86_32

Unfortunately, the problem goes a bit deeper than some mismatching
types. The version of L4Linux currently used by Genode is not able to
run on 64 bit. We haven't updated the Fiasco.OC and L4Linux support for
the while. For running Linux as a Genode subsystem on x86 nowadays, we
normally use the NOVA kernel with our version of VirtualBox.
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
------------------------------------------------------------------------------
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[Norman Feske]

Hi John,

Post by john stokes
[init -> virtualbox] EMT Initial balloon size 0
[init -> virtualbox] Could not open ROM session for module "usb_devices"
[init -> virtualbox] Warning: abort called - thread: vCPU dispatcher
[init] virtual void Genode::Child_policy::exit(int): child "virtualbox"

this error rings a bell. It was recently fixed but the fix has not
reached the master branch yet. Can you please try it again with the
following patch applied:


https://github.com/genodelabs/genode/pull/2016/commits/aaf160a7aa8c3e12c5f76e263a5a9f547bf8b804

Since we added support for passing USB devices to VMs, VirtualBox
inquiries the information about the present USB devices bo opening a ROM
session for module called "usb_devices". The simple virtualbox.run
script lacks this information. The problem remained unnoticed because
our automated tests use different run scripts (the ones with "auto" in
their names).

Cheers
Norman