users

users@lists.genode.org

2 participants
2342 discussions

FOSDEM 2016 microkernel devroom - submission deadline
by Norman Feske 07 Dec '15

07 Dec '15

Hello everyone, hereby, I'd like to give the reminder that the deadline for contributions to the microkernel developer room at FOSDEM 2016 is approaching. According to Jakub's request for participation, the developer room is open for submissions until December 13: https://lists.fosdem.org/pipermail/fosdem/2015-October/002191.html Personally, I have submitted a talk about my ongoing line of work with bringing seL4 and Genode together. Maybe you have an interesting story to tell about your work, topics for discussions, or a demo? If so, I encourage you to participate in the microkernel developer room! 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

2 1

Reminder: Microkernel-devroom CfP deadline is on this Sunday
by Jakub Jermar 07 Dec '15

07 Dec '15

Hi folks, the CfP deadline for the Microkernel devroom at FOSDEM 2016 is due this Sunday. See the original CfP [1] for information on what to do if you would like to give a talk about some microkernel-related topic. At the same time, I would like to encourage you to submit a talk proposal. It would be shame not to let the wider microkernel community know about the latest and greatest developments in your project. Lastly, please forward this reminder to whoever you think may want to give a talk in the devroom and is not among the recipients of this message. Thanks, Jakub [1] http://trac.helenos.org/wiki/Devroom2016

1 0

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

Porting Genode to Raspberry Pi 2
by Tamas Bakos 03 Dec '15

03 Dec '15

Hello everyone, I would like to port Genode to the Raspberry Pi 2, using the custom kernel from base-hw. I know it is already available for the Raspberry Pi 1, but model 2 uses an entirely different CPU (ARM Cortex-A7), from a different family (ARMv7-A). I am not very familiar with the structure of the Genode source files yet. Could you help me, by explaining what files I should create or modify, and which files I should take as reference when doing so?(Should I start based on the files of a board using a CPU from the same family (ARMv7-A), or from the files concerning the Raspberry Pi 1?) Thanks,Tamas

2 1

Thoughts about a new live system
by Norman Feske 02 Dec '15

02 Dec '15

Hello, shortly after almost every Genode release, I see people wondering why we have not released a new live system since many years. There are even a few who conclude that the project is not going to get anywhere because there is no easy way to try it out. Because this topic is brought up every now and then, I'd like to share my opinion about it: https://github.com/genodelabs/genode/issues/1000#issuecomment-161260312 I hope that you find my line of thoughts reasonable. If you have ideas or thoughts to add, please don't hesitate to share them. 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

3 2

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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users