users November 2015

users@lists.genode.org

25 participants
23 discussions

netperf
by Анна Будкина 07 Jun '16

07 Jun '16

Hello! I'm running netperf TCP_STREAM and TCP_MAERTS tests for lxip stack and i obtained extremely low result - 5x10^6 bits/s while the maximum throughput is 1000 mbit/s . I wonder what could be the reason for that. Anna

6 16

i.mx53qsb and ARM Trustzone Techology
by Joseph Lee 10 Dec '15

10 Dec '15

Hi >From the article in this link http://genode.org/documentation/articles/trustzone , I understood that the DDR RAM in i.mx53 QSB is partitioned off between normal world and secure world. I just want to read a file in the normal world from application running in the secure side. Is there any possibility to get access to any file in normal world from the secure world? thanks for your help in advance. Regards, Joseph

3 7

Turmvilla Memory
by Harm de Vries 09 Dec '15

09 Dec '15

Hello all, Today I tried to run the latest Turmvilla configuration on a Lenovo X250 laptop (Nova 64bit kernel). However, although the machine has 16GB of of memory only 1942MB is transferred to init, see the log below. Does anyone have an idea what could cause this behaviour? Block: [02800000,10000000) size=0d800000 avail=0d800000 max_avail=6bbcd000 Block: [1000b000,7bbd8000) size=6bbcd000 avail=6bbcd000 max_avail=6bbcd000 => mem_size=2037813248 (1943 MB) / mem_avail=2037202944 (1942 MB) :io_mem_alloc: Allocator 18fcb8 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009d000,00100000) size=00063000 avail=00063000 max_avail=00063000 Block: [10000000,1000b000) size=0000b000 avail=0000b000 max_avail=fffffffbd1fff000 Block: [bf01f000,100000000) size=40fe1000 avail=40fe1000 max_avail=fffffffbd1fff000 Block: [42e000000,fffffffffffff000) size=fffffffbd1fff000 avail=fffffffbd1fff000 max_avail=fffffffbd1fff000 => mem_size=18446744056848773120 (17592186028336 MB) / mem_avail=18446744056848773120 (17592186028336 MB) Genode 15.08-241-g656aa4a <local changes> int main(): --- create local services --- int main(): --- start init --- int main(): transferred 1942 MB to init When I tried to build the configuration on a different machine the following error occurred while trying to prepare the Nova kernel. $ make prepare nova download https://github.com/alex-ab/NOVA.git Cloning into 'src/kernel/nova'... remote: Counting objects: 4810, done. remote: Compressing objects: 100% (79/79), done. remote: Total 4810 (delta 53), reused 0 (delta 0), pack-reused 4731 Receiving objects: 100% (4810/4810), 5.99 MiB | 3.55 MiB/s, done. Resolving deltas: 100% (3517/3517), done. Checking connectivity... done. nova update src/kernel/nova fatal: reference is not a tree: 92a2b58a5860916dbf89f7b0289fe7862abaf728 make[2]: *** [nova.git] Error 128 make[1]: *** [_install_in_port_dir] Error 2 make: *** [prepare] Error 2 Again, does anyone know what causes this? Kind regards, Harm

3 10

Noux application
by Joseph Lee 07 Dec '15

07 Dec '15

Hi everyone, I am running a simple "tz_vmm" example in Genode on imx53 qsb. I have Noux application which runs on top of Noux runtime inside the secure world. I wanted to access this Noux applications inside tz_vmm application, calling a function of Noux application from tz_vmm code. But i have no idea how to do that. Could anyone please give me some hint? Thanks and best regards, Joseph

5 35

memory dump
by Abhay Amala 05 Dec '15

05 Dec '15

Hi everyone, I am running tz_vmm on imx53qsb and thinking about taking a snapshot of the normal world memory inside the tz_vmm app and put into a file as a raw data. I appreciate if anyone give me a hint. Thanks and best regards, Abhay

2 4

Noux port
by Harm de Vries 02 Dec '15

02 Dec '15

Hello all, I would like to get the Mutt email client running in Noux. Could someone give me a few pointers on how to start such a port? Kind regards, Harm

3 5

Announcement: Genode OS Framework version 15.11 released
by Christian Helmuth 30 Nov '15

30 Nov '15

The current release focuses on Genode as a desktop operating system and brings lots of improvements in the whole software stack in this regard. On the lower end, we ported the Intel graphics adapter driver from Linux, which enables the use of multiple displays and dynamically configure the screen resolution and connectors. The way up the stack we added secure copy-paste in form of a clipboard component, which supports configuration of the information flow and counters covert communication. On the top, we extensively improved our GUI implementation, most prominently visible by the ability to change the window decorator on run time. The highlights of version 15.11 are - Desktop OS features - Vastly improved GUI stack - Dynamic audio-mixer settings - Copy and paste between subsystems - New VFS component and VFS improvements - New LOG aggregator - Improved support for dynamic component configurations - VirtualBox support for 64-bit guest OSes - Device drivers - Intel KMS framebuffer driver - Framebuffer driver for Exynos 4 - AHCI for non-NCQ devices - Ability to connect to hidden wireless networks - Platforms - Xilinx Zynq-7000 support, including networking - Improved TrustZone support on USB Armory - Simplified memory management on NOVA - Booting via iPXE over HTTP - New tool for creating preconfigured U-Boot images All improvements of the current release are covered by the release documentation http://genode.org/documentation/release-notes/15.11 Kind regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://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

1 0

Virtualbox Memory
by Harm de Vries 30 Nov '15

30 Nov '15

Hello all, I stumbled upon a new problem with the Turmvilla setup (on Nova 64bit). If I give my virtual machine 3600 megabytes of memory or more (in the vbox file, the virtualbox subsystem has plenty) it crashes with the following error: [cli_monitor -> linux -> vbox] c/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window() [cli_monitor -> linux -> vbox] !!Assertion Failed!! Expression: !res Location : /home/hdv/projects/genode/repos/ports/src/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window() [cli_monitor -> linux -> vbox] EMT-3 EMT-3 !!Assertion Failed!! EMT-3 Expression: !res EMT-3 Location : /home/hdv/projects/genode/repos/ports/sr [cli_monitor -> linux -> vbox] c/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window() [cli_monitor -> linux -> vbox] !!Assertion Failed!! Expression: !res Location : /home/hdv/projects/genode/repos/ports/src/virtualbox/spec/nova/vcpu.h(502) void Vcpu_handler::_irq_window() With less than 3600 megabytes the virtual machine does start. Does anyone know what could be the problem? Sorry for all the spam! Kind regards, Harm

1 0

Intel framebuffer driver
by Harm de Vries 30 Nov '15

30 Nov '15

Hello all, I am unable to run the Turmvilla setup with the Intel framebuffer driver. Given below is the log output. Note that this computer has the following configuration: 00:00.0 Host bridge: Intel Corporation 4th Gen Core Processor DRAM Controller (rev 06) 00:02.0 VGA compatible controller: Intel Corporation Xeon E3-1200 v3/4th Gen Core Processor Integrated Graphics Controller (rev 06) Does anyone know how to get the setup running? Kind regards, Harm [init -> platform_drv] platform driver started [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'timer' func: 10169d0 arg: 0 prio: 2 t: 10f9638 [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'linux' func: 1016000 arg: 1127900 prio: 0 t: 10f9230 [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found MCFG [init -> acpi_drv] MCFG BASE 0xf8000000 seg 00 bus 00-3f [init -> platform_drv -> device_pd] Device protection domain starting ... [init -> platform_drv -> device_pd] Device protection domain started [init -> intel_fb_drv] Scheduler::Logger is up [init -> intel_fb_drv] --- intel framebuffer driver --- [init -> intel_fb_drv] void run_linux(void*): postcore_i915_init [init -> intel_fb_drv] INFO: i2c-core: driver [dummy] registered [init -> intel_fb_drv] void run_linux(void*): module_i915_init [init -> intel_fb_drv] int drm_pci_init(drm_driver*, pci_driver*): call pci_register_driver [init -> platform_drv] Quota exceeded! amount=8192, size=4096, consumed=8192 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): this=111c998 base: f7800000 size: 400000 type: 1 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): I/O memory [f7800000-f7c00000) [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): this=111c998 base: e0000000 size: 10000000 type: 1 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): I/O memory [e0000000-f0000000) [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): this=111c998 base: f000 size: 40 type: 0 [init -> intel_fb_drv] Lx::Pci_dev::Pci_dev(Platform::Device_capability): I/O [61440-61504) [ 0] sys_assign_pci: Invalid Hint (0x0) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::insert(Lx::Pci_dev*): insert pci_dev 111c998 [ 0] sys_assign_pci: Invalid Hint (0x0) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::insert(Lx::Pci_dev*): insert pci_dev 111d830 [init -> intel_fb_drv] ioremap: mapped phys 0xf7800000 (size 400000) to virt 0x400000 [init -> platform_drv] Device 00:00.0 is used by more than one driver - session 'intel_fb_drv'. [init -> platform_drv] Quota exceeded! amount=12288, size=4096, consumed=12288 [init -> platform_drv] Device 00:02.0 is used by more than one driver - session 'intel_fb_drv'. [ 0] sys_assign_pci: Invalid Hint (0x0) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> intel_fb_drv] ioremap: return sub range phys 0xf7a00000 (size 200000) to virt 0x600000 [init -> intel_fb_drv] dma_addr_t page_to_phys(void*): virt=0x6000 -> phys=0xffffffffffffffff [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'work_queue' func: 10033d0 arg: 10f7000 prio: 2 t: 10f7000 [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus ssc] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus vga] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus panel] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus dpc] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus dpb] registered [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [i915 gmbus dpd] registered [init -> platform_drv] 0:2.0 adjust IRQ as reported by ACPI: 11 -> 16 [init -> platform_drv] 0:2.0 uses IRQ, vector 0x10, MSI 32bit capable [init -> intel_fb_drv] Lx::Task::Task(void (*)(void*), void*, const char*, Lx::Task::Priority, Lx::Scheduler&): name: 'irq_8086:412' func: 10034d0 arg: 111ee80 prio: 3 t: 111eec8 [init -> intel_fb_drv] T Lx::Pci_dev_registry::io_read(unsigned int) [with T = unsigned char]: io_read 972 [init -> intel_fb_drv] I/O port(972) read failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 962 [init -> intel_fb_drv] I/O port(962) write failed [init -> intel_fb_drv] T Lx::Pci_dev_registry::io_read(unsigned int) [with T = unsigned char]: io_read 972 [init -> intel_fb_drv] I/O port(972) read failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 962 [init -> intel_fb_drv] I/O port(962) write failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 964 [init -> intel_fb_drv] I/O port(964) write failed [init -> intel_fb_drv] T Lx::Pci_dev_registry::io_read(unsigned int) [with T = unsigned char]: io_read 965 [init -> intel_fb_drv] I/O port(965) read failed [init -> intel_fb_drv] void Lx::Pci_dev_registry::io_write(unsigned int, T) [with T = unsigned char]: io_write 965 [init -> intel_fb_drv] I/O port(965) write failed [init -> intel_fb_drv] Server::Main::Main(Server::Entrypoint&): returning from main [init -> intel_fb_drv] int dev_set_name(device*, const char*, ...): name=i2c-%d [init -> intel_fb_drv] dev_dbg: adapter [DPDDC-C] registered [init -> ahci_drv] --- Starting AHCI driver -> done right .-) -- [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). Quota exceeded! amount=61440, size=4096, consumed=61440 static void Genode::Pager_object::_page_fault_handler(Genode::addr_t): page fault, thread 'device_pd_ep', cpu 0, ip=1034bfe, fault address=0xa01fdfe0 Quota exceeded! amount=192512, size=4096, consumed=192512 [init] upgrading quota donation for Env::RM (8192 bytes) [init -> cli_terminal] int main(int, char**): --- terminal service started --- [init -> ps2_drv] Could not set defaults [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service [init -> ps2_drv] Could not enable stream [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> log_file_terminal] --- file terminal started --- [init -> config_rom] connection for file 'nitpicker.config' requested [init -> nitpicker_config] top-level node <xray> missing in input ROM xray [init -> nitpicker_config] could not obtain input value for input xray_enabled [init -> config_rom] connection for file 'decorator.config' requested [init -> decorator_config] top-level node <xray> missing in input ROM xray [init -> decorator_config] could not obtain input value for input xray_enabled [init -> config_rom] connection for file 'trace_subject_reporter.config' requested [init -> trace_subject_reporter] period_ms=1000, report_activity=1, report_affinity=1 [init -> rump_fs] 30000 .. 103fff: ld.lib.so [init -> rump_fs] 1025000 .. 11effff: rump.lib.so [init -> rump_fs] 11f0000 .. 1318fff: rump_fs.lib.so [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] --- init iPXE NIC [init -> nic_bridge] Could not open ROM session for module "config" [init -> nic_bridge] Could not obtain config file [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREADS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOSE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_NCPU [init -> config_rom] connection for file 'wlan_configuration' requested [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT [init -> rump_fs] Asserting rump kernel 27696 KB of RAM Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=32768, size=4096, consumed=32768 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODES [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAIL [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSECTSHIFT Quota exceeded! amount=40960, size=4096, consumed=40960 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=49152, size=4096, consumed=49152 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=61440, size=4096, consumed=61440 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE Quota exceeded! amount=57344, size=4096, consumed=57344 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=69632, size=4096, consumed=69632 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=65536, size=4096, consumed=65536 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=77824, size=4096, consumed=77824 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=73728, size=4096, consumed=73728 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=86016, size=4096, consumed=86016 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME Quota exceeded! amount=81920, size=4096, consumed=81920 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) int main(): --- init created, waiting for exit condition --- [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [init -> intel_fb_drv] LOGGER [0] prio: 3 state: 2 irq_8086:412 [init -> intel_fb_drv] LOGGER [1] prio: 2 state: 2 work_queue [init -> intel_fb_drv] LOGGER [2] prio: 2 state: 2 timer [init -> intel_fb_drv] LOGGER [3] prio: 0 state: 1 linux [ 0] sys_sc_ctrl: Bad SC CAP (0x1766) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x1766)

3 3

Microkernel Meetup
by Bjoern Doebel 28 Nov '15

28 Nov '15

Hi all, as the last Dresden Microkernel Meetup took place already more than 6 months ago, we surely need to set up a new one! Please chose a date: http://dudle.inf.tu-dresden.de/mks1115/ I am going to pick a location once we settled on a date. (Most likely: Shamrock Irish Pub, but select something else on Mondays...) Bjoern

1 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users November 2015