users

users@lists.genode.org

2357 discussions

Issue in run/demo using foc_imx53 biuld directory
by vamsi krishna 18 Mar '13

18 Mar '13

Hi, I wanted to build Fiasco microkernel for imx53 board. i downloaded the genode-13.02. I created the build directory by using the following command. ./tool/create_builddir foc_imx53 BUILD_DIR=build After that when i am trying to run following command $ make run/demo i got the following error Library timer COMPILE main.o In file included from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_session_component.h:26:0, from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_root.h:23, from /home/vamsi/genode-13.02/os/src/drivers/timer/main.cc:19: /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h: In member function ‘long unsigned int Platform_timer::curr_time() const’: /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:63:41: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::value(bool&)’ discards qualifiers [-fpermissive] /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:65:55: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::max_value()’ discards qualifiers [-fpermissive] /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:72:43: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::tics_to_us(long unsigned int)’ discards qualifiers [-fpermissive] make[3]: *** [main.o] Error 1 make[2]: *** [timer.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/vamsi/genode-13.02/fiasco' Error: Genode build failed make: *** [run/demo] Error 252 Regards, S. Vamsi Krishna, 2nd Year M.Tech | CSE, Network Systems Lab, IITM.

3 2

Physical memory allocation.
by Daniel Waddington 18 Mar '13

18 Mar '13

Hi, For the purpose of NUMA based memory management, I would like to have Genode allow me to allocate physical memory at a specified address, i.e., support something like... |||||||||virtual| ||Ram_dataspace_capability ||alloc||_at(|||size_t ||size|||, addr_t start_address, |||bool ||cached|| |=| true|)||| ||=| 0|; I figure I can temporarily hack this by extending Ram_session_component::alloc and using Range_allocator::alloc_addr. Is there any danger here? Can Genode be persuaded to extend the main line to support this? An address range parameter instead of start address would be even better, i.e., try to allocate me some RAM somewhere between physical address X and Y. Best, Daniel |||||||

2 1

error in make run/l4linux on fiasco.oc
by yuqing wang 12 Mar '13

12 Mar '13

hi i want to get the l4linux running.i followed the step according to source tree file --genode/base-foc/doc/foc.txt.i did make prepare in 'ports-foc' and 'dde_ipxe' repository in genode source tree. i edited the 'etc/build.conf' file in my build directory,and uncomment the following line : REPOSITORIES += $(GENODE_DIR)/dde_ipxe REPOSITORIES += $(GENODE_DIR)/ports-foc i downloaded the 'inird.gz' file and resided it in 'bin' in my build directory. i thought i did everything well, but when i make run/l4linx ,there comes a issue,here is the message: using run script /home/wangyuqing/下载/genode/base-foc/run/env using run script /home/wangyuqing/下载/genode/ports-foc/run/l4linux.run building targets: core init drivers/timer drivers/uart drivers/framebuffer l4linux drivers/nic drivers/pci drivers/input/ps2 spawn make core init drivers/timer drivers/uart drivers/framebuffer l4linux drivers/nic drivers/pci drivers/input/ps2 make[1]: 正在进入目录 `/home/wangyuqing/下载/genode_focx86_builddir' checking library dependencies... Skip target core/arndale because it requires arm foc_arndale Skip target core/imx53 because it requires arm foc_imx53 Skip target core/panda because it requires arm foc_panda Skip target core/pbxa9 because it requires arm foc_pbxa9 Skip target core/vea9x4 because it requires arm foc_vea9x4 Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/nic/lan9118 because it requires lan9118 Skip target drivers/nic/linux because it requires linux Skip target drivers/pci/device_pd because it requires nova Skip target drivers/uart/omap4 because it requires omap4 Skip target drivers/uart/pl011 because it requires pl011 Skip target l4linux/arm because it requires arm Program drivers/framebuffer/pl11x/ Library platform Library cxx Library syscall Library startup Library base-common Library base Library blit Program drivers/framebuffer/vesa/vesa_drv Program drivers/input/ps2/x86/ps2_drv Library alarm Library dde_kit Library dde_ipxe_support Library dde_ipxe_nic Program drivers/nic/nic_drv Program drivers/pci/x86/pci_drv Library timer Program drivers/timer/timer Program drivers/uart/i8250/uart_drv Library init_pd_args Program init/init Library l4lx Library l4sys Program l4linux/x86_32/vmlinux make[6]: 没有什么可以做的为 `all'。 =============================================== For quick build instructions, please visit: http://wiki.tudos.org/Quickstart http://l4linux.org/build.shtml =============================================== make[6]: 没有什么可以做的为 `all'。 Using /home/wangyuqing/下载/genode/ports-foc/contrib/l4linux as source for kernel GEN /home/wangyuqing/下载/genode_focx86_builddir/l4linux/Makefile CHK include/linux/version.h CHK include/generated/utsrelease.h CALL /home/wangyuqing/下载/genode/ports-foc/contrib/l4linux/scripts/checksyscalls.sh CHK include/generated/compile.h LINK vmlinux LD vmlinux.o MODPOST vmlinux.o WARNING: modpost: Found 2 section mismatch(es). To see full details build your kernel with: 'make CONFIG_DEBUG_SECTION_MISMATCH=y' GEN .version CHK include/generated/compile.h UPD include/generated/compile.h CC init/version.o LD init/built-in.o KSYM .tmp_kallsyms1.o KSYM .tmp_kallsyms2.o LD vmlinux SORTEX vmlinux sort done marker at 399e58 SYSMAP System.map OBJCOPY arch/l4/boot/Image Kernel: arch/l4/boot/Image is ready Building modules, stage 2. MODPOST 98 modules WARNING: modpost: Found 1 section mismatch(es). To see full details build your kernel with: 'make CONFIG_DEBUG_SECTION_MISMATCH=y' Program core/x86/core make[1]:正在离开目录 `/home/wangyuqing/下载/genode_focx86_builddir' genode build completed using fiasco kernel /home/wangyuqing/下载/genode_focx86_builddir/kernel/fiasco.oc/fiasco using sigma0/bootstrap at /home/wangyuqing/下载/genode_focx86_builddir/l4 creating ISO image... spawn qemu-system-i386 -no-kvm -m 128 -nographic -serial file:kdb.log -serial mon:stdio -smp 2,cores=2 -net nic,model=e1000 -net user -cdrom var/run/l4linux.iso Error: Test execution timed out make: *** [run/l4linux] 错误 254 how can i fix it Regards

3 4

Issue in make run/demo
by yuqing wang 10 Mar '13

10 Mar '13

Hi I am new in Genode.I downloaded genode and genodetoolchain fromhttp://genode.org/download<http://genode.org/download/tool-chain>. After I followed the step according to http://genode.org/documentation/developer-resources/getting_started , I was getting a issue. I followed the step to build genode for linux.After make run/demo,these message was shown: spawn ./core int main(): --- create local services --- int main(): --- start init --- int main(): transferred 4095 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64... [init -> nitpicker] framebuffer is 1024x768@...23... [init -> nitpicker] create session with args: fb_format=1, label="launchpad", ram_quota=1646592 [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> nitpicker] create session with args: fb_width=400, fb_height=1504, fb_format=1, label="launchpad", ram_quota=1211392 [init -> timer] args='label="launchpad", ram_quota=4096' [init -> launchpad] --- entering main loop --- It seemed that something was wrong, but it did work.I am getting the GUI. But when i contiued the experiment--build genode for fiasco,almost same message was shown,but i got no GUI. int main(): --- create local services --- int main(): --- start init --- int main(): transferred 229 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> pci_drv] PCI driver started [init -> pci_drv] Could not open file "pci_device_pd" [init -> pci_drv] PCI device protection domain for IOMMU support is not available [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 106a000 [init -> pci_drv] Could not open file "config" [init -> pci_drv] Could not obtain config file [init -> pci_drv] PCI config space data could not be parsed. [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] Found: VESA BIOS version 2.0 [init -> vesa_drv] OEM: VGABIOS Cirrus extension [init -> vesa_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000 [init -> vesa_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 -> nitpicker] framebuffer is 1024x768@...23... [init -> nitpicker] create session with args: fb_format=1, label="launchpad", ram_quota=1646592 [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> nitpicker] create session with args: fb_width=400, fb_height=1504, fb_format=1, label="launchpad", ram_quota=1211392 [init -> timer] args='label="launchpad", ram_quota=4096' [init -> launchpad] --- entering main loop --- Is this right?I am not sure whether it really has no GUI to show or i made some mistakes. I am using ubuntu 12.04 LTS. regards kukar

2 2

Announcement: Genode OS Framework version 13.02 released
by Norman Feske 28 Feb '13

28 Feb '13

I am delighted to announce the release of Genode version 13.02. The overall theme of this version is improving the framework's platform support. This is most prominently visible in the form of the many NOVA-specific improvements and the addition of the Cortex-A15-based Exynos 5250 SoC. But those are only a small part of the whole story, which is described in full detail in the release notes: http://genode.org/documentation/release-notes/13.02 The release-notes summary follows: - DMA protection via IOMMU (NOVA/x86) - Full virtualization via the Vancouver VMM (NOVA/x86) - Redesigned audio-output support for low latency - Base API and OS infrastructure - New fault-detection facility - New mechanism for file-system notifications - New terminal multiplexer - Device drivers - ACPI support for 64-bit machines - New OMAP4 UART driver - USB support for Samsung Exynos 5250 - Base platforms - Custom kernel platform with added support for Samsung Exynos 5250 and Freescale i.MX53 - NOVA kernel improved for highly dynamic workloads - Fiasco.OC kernel forked, Exynos-5250 support added - Improved memory management on Linux I wish you a lot of fun with exploring the new version! 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

1 0

On memory mapping
by Dmitry Shubin 28 Feb '13

28 Feb '13

Hello. I want to map a single memory page twice to two different virtual addresses with different attributes within a single address space. In particular (for testing purposes) I want to have a piece of memory that is accessible as cacheable and non-cacheable region at different addresses. How can I make this happen? Is this even possible with existing API?

2 1

Native_capability as [out] parameters
by Daniel Waddington 25 Feb '13

25 Feb '13

Hi, Can I pass Native_capability types as [out] parameters using "Native_capability *" type - with the cross-process mapping happening? Most of the examples use only use the return value to do [out] capabilities. i.e. GENODE_RPC(Rpc_foo,int,foo,Genode::Native_capability *) doesn't seem to work, but there might be something else afoot. Daniel

3 8

Update base-foc to use rev. 47
by Dmitry Shubin 20 Feb '13

20 Feb '13

Hello. I've updated Makefile and a patchset to use the latest snapshot of Fiasco.OC. So far I've tested only foc_x86_32 and foc_x86_64 under qemu, but we should be able to test foc_panda and foc_imx53 builds as well soon. The patch is available here on foc-r47 branch: git://github.com/Ksys-labs/genode.git

2 1

What is going on for february release?
by Paul Dufresne 20 Feb '13

20 Feb '13

Well, february 2013 is at our door now, and I would like to remember us of the plan for it according to our 2013 roadmap: -Low-latency audio support The current audio_out-session interface was our first shot into the direction of audio processing. To enable use cases where streaming audio and sporadic sounds must be accommodated at the same time, we need to revise our approach. -IOMMU support on NOVA -First steps of user-interface concept --UI concept for pleasant working environment --Tiled window manager --Terminal improvements (e.g., scroll buffer) --Noux improvements (e.g., signals) -Improved x86 virtualization support --Improved virtualization support (Vancouver on NOVA) I'd like to have a small picture of who is working on what in the previous list. And the current status of things.

3 3

[Genode] who writes data into Thread_base::Context::stack?
by jaeyong yoo 19 Feb '13

19 Feb '13

Hello Genode, I was trying to find what kind of data has been written into Thread_base::Context::stack, but I couldn't. Could you tell me which part of the source code writes data into "Thread_base::Context::stack?" Best regards, Jaeyong

1 1

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users