users

users@lists.genode.org

2285 discussions

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

Nix port
by Emery Hemingway 25 Nov '15

25 Nov '15

Hello list, This is a notice that I've cleaned up the Nix port and created a branch of the Genode master to test against. I've only managed to drive the toolchain part way to creating component binaries, but for now the problems seem to be in the domain of Noux. The core of the port has been defined, and the frontends are done, which is actually no frontend at all. There is the nix-repl for debugging and everything else can use server/nix, which generates ROMs and file system roots on demand. I have a branch 'nix' at https://github.com/ehmry/genode.git with a set of patches against master and an external repo at https://github.com/ehmry/genode-nix.git. The run scenarios 'nix_rom' and 'nix_fs' show how to setup routing to create ROM and file system roots on demand (but poor examples of Nix expressions). The scenario 'nix_toolchain' attempts to build binaries on demand, but I think I need to poke around in Noux to get it to run to completion. I have some examples for generating cli_monitor configurations, though I need to put together a full scenario to show how to route cli_monitor to make it work. https://github.com/ehmry/genode-nix/blob/master/expr/cli_monitor.nix The issue of fetching compiled packages to a live system is still outstanding, I have some ideas on the network protocol, but none on a binary signing scheme. I started on some write-up of the porting process but it will probably be more for people coming from NixOS than from Genode or those interested in making the language more cross-platform. Ignore the name, I'm not a very good writer. http://ehmry.github.io/ Cheers, Emery

2 1

SMP IRQ Affinity in L4android
by li94575 25 Nov '15

25 Nov '15

Hi, everyone I want to move some interrupts to specified cpu core, but I encountered some difficulties. When I try to write to "/proc/irq/*/smp_affinity" with cpu bitmask, it will call the interface l4lx_irq_dev_set_affinity(), which locates in "pots-foc/src/lib/l4lx/l4lx_irq.cc". And I can see the printed log "switched irq * to cpu* ". However, in fact, it doesnot work, the irq is still staying on previous cpu core ( seeing "/proc/interrupts") . Please tell me how can I do, thank you so much!

2 3

Access to hardware registers
by unknown＠example.com 20 Nov '15

20 Nov '15

Hello Genodians, I have a program which needs access to some hardware registers. The Region Manager (RM) is complaining, because he cannot find the address. > no RM attachment (faulter fb710c with IP 36b614 attempts to write to address 43c00004) > How can I add this region? In the runscript as a config setting for RM? Add these addresses to the platform_support.cc? Or do I need a driver to gain access to these registers? Best regards, Jack

2 2

32c3
by Johannes Schlatow 18 Nov '15

18 Nov '15

Hey all, as tickets for the 32th Chaos Communication Congress (in Hamburg) are now available and a few of you have already been to the Camp in August, it's time to pose the question about who of you is planing to visit the 32c3 this year. Maybe even some of you would like to do some Genode hacking on the congress. I'll just start with a list of people: - Johannes (all days) It'd be great having the chance to meet up with some people from the Genode community. Regards Johannes

1 0

Doubts when preparing WebToolkit's port file
by Reinier Millo Sánchez 17 Nov '15

17 Nov '15

Hi Genode Community I'm preparing a port file for WebToolkit library. I have prepared the basic file to download the library, extract the source code and generate include files. I have an small problem with this library. This library is written in C++, but source files have .C extension. This library must be compiled with Qt support and .C files are recognized as C source file not C++. I need rename all .C files to .cpp. This can be done manually with this command line on the WebToolkit's source folder: find . -name "*.C" -exec rename 's/\.C$/.cpp/' '{}' \; I have tried something like this on the port file: LICENSE := GPLv2 VERSION := 3.3.5-rc2 DOWNLOADS := wt.archive ... CMD := `find . -name "*.C" -exec rename 's/\.C$/.cpp/' '{}' \;` default: ${CMD} But when prepare the port this not work. It give me this output: ... Substitution replacement not terminated at (user-supplied code). ... Somebody have any suggestion or any idea about how can i do this automatically on the port file? Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas Carretera a CamajuanÃ Km 5 1/2 Santa Clara, Villa Clara, Cuba CP 54830 "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

2 3

A short Nixcon talk
by Emery 16 Nov '15

16 Nov '15

I gave a talk on friday at a NixOS conference on saturday about the nix port, its very brief, and I may have mispoke in a nervous rush at times, but I got some good questions after the talk session was over. I even got a few questions about porting to the mill architecture from someone who already knew of the project. https://media.ccc.de/v/nixcon2015-8-en-Lightning_Ignite_talks_day_1#video&t… Starts at 12:40 The palor trick at the end was silly, but it was something I came up with a hour or two before to show how generally the concepts can be applied. I have two days of sprint starting tomorrow with my nix guys, and then I plan to start on some documentation. Emery

2 2

Turmvilla scenario
by Vincent Digital 13 Nov '15

13 Nov '15

Hi, With the previous Turmvilla scenario, I wish to setup two virtualbox sessions, one running LInux process and the other running Windows, concurrently. I created a new Win7 subsystem, emulating the LInux subsystem, with new vm_win7.vdi. However, I could startup only one of each sessions from NOUX, either Windows or Linux, but not both sessions at the same time. From CLI monitor, I could see that RAM is allocated separately for both sessions. I suspect some concurrency issue but could not find the issue. I've attached the log from captured from NOUX. Another issue I encountered is that the virtual box mouse pointer in the WIndows session and the Nitpicker mouse pointer can't seem to merge together unlike the Linux session where both pointers are merged. Any advise. Thanks in advance.

5 13

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users