users

users@lists.genode.org

1 participants
2310 discussions

Re: Increase VM memory size
by lzSun 27 Sep '18

27 Sep '18

>Hi, >it crossed my mind, if you do not need more than half of the memory >(512 MiB) inside Linux, you can easily assign the second memory bank >to the non-secure guest without further adaptions. Here is a patch: >diff --git a/repos/base-hw/include/spec/imx53/drivers/trustzone.h >b/repos/base-hw/include/spec/imx53/drivers/trustzone.h >index 8a65fea02..0f8d51b4c 100644 >--- a/repos/base-hw/include/spec/imx53/drivers/trustzone.h >+++ b/repos/base-hw/include/spec/imx53/drivers/trustzone.h >@@ -28,8 +28,8 @@ namespace Trustzone >*/ > SECURE_RAM_BASE = Imx53::RAM_BANK_0_BASE, >SECURE_RAM_SIZE = 256 * 1024 * 1024, >- 256NONSECURE_RAM_BASE = Imx53::RAM_BANK_0_BASE + SECURE_RAM_SIZE, >- RAM_BANK_0_BASENONSECURE_RAM_SIZE = 256 * 1024 * 1024, >+ 256NONSECURE_RAM_BASE = Imx53::RAM_BANK_1_BASE, >+ Imx53NONSECURE_RAM_SIZE = 512 * 1024 * 1024, > }; > } >Please keep in mind to *not* increase the secure ram area. It needs to >be protected by the M4IF TrustZone aware IP core, which is somehow >limited in its configuration of secure address ranges. >Regards >Stefan Hi, Thank you Stefan, It works for me now!

1 0

Increase VM memory size
by lzSun 27 Sep '18

27 Sep '18

hello, I have written an email about to increase the tz_vmm demo's memory size before, but haven't get any answer yet. The thing is, I want to increase the memory size that linux in the normal world can use. During these days, I found the related file which is at " /genode/repos/base-hw/include/spec/imx53/drivers/trustzone.h " . In this file I found the NONSECURE_MEMORY_SIZE = 256*1024*1024. So I increase this size to 512*1024*1024, however, when the system booting, it print the error message like: [init -> tz_vmm] Start virtual machine ... [init -> tz_vmm] Error: failed to handle data abort [init -> tz_vmm] Cpu state: [init -> tz_vmm] Register Virt Phys [init -> tz_vmm] ------------------------------------ [init -> tz_vmm] r0 = 0xc0888294 0x80888294 [init -> tz_vmm] r1 = 0x00000000 0x00000000 [init -> tz_vmm] r2 = 0x00000020 0x00000000 [init -> tz_vmm] r3 = 0xd5001000 0x95001000 [init -> tz_vmm] r4 = 0xc0c28000 0x80c28000 [init -> tz_vmm] r5 = 0xd50000c0 0x950000c0 [init -> tz_vmm] r6 = 0xc0888294 0x80888294 [init -> tz_vmm] r7 = 0xd50000a0 0x950000a0 [init -> tz_vmm] r8 = 0xd5000000 0x95000000 [init -> tz_vmm] r9 = 0x00000000 0x00000000 [init -> tz_vmm] r10 = 0x00000000 0x00000000 [init -> tz_vmm] r11 = 0xffffffff 0x00000000 [init -> tz_vmm] r12 = 0x00000001 0x00000000 [init -> tz_vmm] sp = 0x00000000 0x00000000 [init -> tz_vmm] lr = 0x00000000 0x00000000 [init -> tz_vmm] ip = 0xc00cde10 0x800cde10 [init -> tz_vmm] cpsr = 0x60000093 0x00000000 [init -> tz_vmm] sp _und = 0xc08e59d8 0x808e59d8 [init -> tz_vmm] lr _und = 0xc08e59d8 0x808e59d8 [init -> tz_vmm] spsr _und = 0x00000000 0x00000000 [init -> tz_vmm] sp _svc = 0xc0887f30 0x80887f30 [init -> tz_vmm] lr _svc = 0xc00cddf0 0x800cddf0 [init -> tz_vmm] spsr _svc = 0x00000000 0x00000000 [init -> tz_vmm] sp _abt = 0xc08e59cc 0x808e59cc [init -> tz_vmm] lr _abt = 0xc08e59cc 0x808e59cc [init -> tz_vmm] spsr _abt = 0x00000000 0x00000000 [init -> tz_vmm] sp _irq = 0xc08e59c0 0x808e59c0 [init -> tz_vmm] lr _irq = 0xc08e59c0 0x808e59c0 [init -> tz_vmm] spsr _irq = 0x00000000 0x00000000 [init -> tz_vmm] sp _fiq = 0x00000000 0x00000000 [init -> tz_vmm] lr _fiq = 0x00000000 0x00000000 [init -> tz_vmm] spsr _fiq = 0x00000000 0x00000000 [init -> tz_vmm] ttbr0 = 0x80004019 [init -> tz_vmm] ttbr1 = 0x80004019 [init -> tz_vmm] ttbrc = 0x00000000 [init -> tz_vmm] dfar = 0xc088829c 0x8088829c [init -> tz_vmm] exception = data_abort Did I missed something ? Any help will be grateful, thanks a lot! ------------------ Best wishes

2 2

Sculpt OS with Visual Composition (VC)
by Norman Feske 26 Sep '18

26 Sep '18

Hello everyone, we just published the third official version of Sculpt OS: https://genode.org/download/sculpt This version - called Sculpt with Visual Composition (VC) - introduces a novel graphical user interface for the interactive deployment of subsystems. For the first time, Sculpt can be explored without editing any text files. Furthermore, the new version increases the compatibility with modern hardware thanks to the vast device-driver improvements of Genode 18.08. Sculpt VC is available as ready-to-use disk image and is accompanied with updated documentation: https://genode.org/documentation/articles/sculpt-vc I wish you a lot of fun with exploring the new version! Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

4 4

Questions about genode os from a prospective user (moving from Qubes)
by Mr Oxide 24 Sep '18

24 Sep '18

I am a former qubes user. Currently on Linux MInt. Thinking of moving to Genode. Questions are (and this is for the Nova kernel with VirtualBox): 1. Can you assign PCI device hardware to virtual machines? 2. Can VMs be networked to each other? My idea with qubes was to setup an HVM with a dedicated HBA card and then install freenas within it. I would then use this as a nas for all of my vms to share. Is this possible with genode? 3. Is there anything that is not compatible (compared to qubes os)? 4. How is net security in dom0? In qubes os there is no dom0 networking.

2 1

EHCI HID not working on my hardware
by Nobody III 24 Sep '18

24 Sep '18

Genode has always had issues with interrupts on my desktop computer. This broke the AHCI and USB drivers, but recent developments have begun to fix/avoid this problem. While using 18.05/18.08, I discovered that the PS/2 driver worked fine, and later that if I only enabled XHCI, the USB driver worked for my USB 3.0 ports. A recent change (probably commit 76e9645 <https://github.com/genodelabs/genode/commit/76e964578780b4681dee0b94c0ac68b…>) in 18.09 (Sculpt VC) further improved USB support for my desktop computer, allowing me to use USB devices on the unmodified Sculpt VC system. It even allowed me to access, and, after adding an ext2 partition, use my USB flash drive, even in my USB 2.0 ports. However, my mouse and keyboard still generally only work in my USB 3.0 ports. I say generally because sometimes, if I move my mouse's receiver from a USB 3.0 port to a USB 2.0 port, it will continue to work. Does anyone have any ideas on how to get USB HID devices to work in USB 2.0 ports, or does anyone have any insight into what this means about my computer, or how to enable other drivers (e.g. AHCI) to work on it?

1 0

Sculpt USB Support
by Nobody III 24 Sep '18

24 Sep '18

Currently, Sculpt doesn't show my USB flash drive nor accept input from my wireless mouse until a USB device is removed. When I remove one of the two USB devices, the other device starts working, and if I then plug the device back in, it starts working as well. I suspect this issue is due to a deficiency in Sculpt-specific code or configuration. Does anyone have any ideas on how to fix this, or can anyone else reproduce this bug?

1 0

VFS Stat modes should include FIFO to match Dirent types
by Nobody III 22 Sep '18

22 Sep '18

Currently, the VFS Dirent types listed in repos/os/include/vfs/directory_service.h include FIFO, while the Stat modes do not. I'm writing a transparent link VFS plugin, so I'm using stat() for the Dirent information, so I need this feature in order to avoid losing information. I'm also writing a FIFO plugin, so I want it to accurately represent itself. The FreeBSD libc includes FIFO as S_IFIFO = 0010000. Until this is added, I'll add the constant to my own files, but I'd much rather have this included in vfs/directory_service.h.

1 0

Draft email to genode list about framebuffer
by Edward Sandberg 21 Sep '18

21 Sep '18

I am attempting to add framebuffer support for the Wandboard Quad using the imx53 code as a base and modifying it as necessary. At this point I can build run/framebuffer with the seL4 kernel and I see no errors when I run the uImage on the wandboard Quad but I also don't get any HDMI ouput. I resolved the problem of the bootloader not providing the framebuffer information by hardcoding the framebuffer address, width, height, bpp, and pitch in the framebuffer.cc file. I have tracked down almost all of the addresses that needed to be modified but I am stuck on a couple things. In /os/src/drivers/platform/spec/imx53/ccm.h lines 82 and 83, what are these addresses? I can't find them anywhere in the imx53 device tree. write<Cscmr2>(0xa2b32f0b); write<Cdcdr>(0x14370092); In: ./os/src/drivers/platform/spec/imx53/iim.h line 27, ./os/src/drivers/framebuffer/spec/imx53/pwm.h line 22, and ./os/src/drivers/platform/spec/imx53/src.h line 30 I am unclear on the significance of the chosen register/bitfields and if they needs to be changed to match the imx6: struct Fuse_bank0_gp6 : Register<0x878, 32> {}; struct Ctrl_reg : Register<0x0, 32> struct Ipu_rst : Bitfield<3, 1> { }; Can anyone help with these? Also I have added all of my changes in a branch of the genode code: https://github.com/sand7000/genode/commit/bb7ad099bed584d31542ac237f127798a… In case anyone is interested or is familiar with the imx53/imx6 and has insight into what else I might need to modify. -- Edward Sandberg Adventium Labs 111 3rd Avenue S. Suite #100 Minneapolis, MN 55401 ed.sandberg(a)adventiumlabs.com

2 1

USB in Genode 18.08
by Edward Sandberg 21 Sep '18

21 Sep '18

I was very excited to see that the 18.08 release notes indicated that the USB driver is available for the Wandboard Quad. Unfortunately my testing has not been successful yet. I can build run/usb_hid with the seL4 kernel but at boot time I see: Genode 18.08 455 MiB RAM and 31767 caps assigned to init Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4 [init -> usb_hid_drv] --- USB HID input driver --- Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8 [init -> usb_hid_drv] Warning: use compatibility mode: will claim all HID devices from USB report [init -> usb_hid_drv] Configured HID screen with 0x0 (multitouch=false) Warning: PD (init -> gpio_drv) cap limit (used=25, limit=25) exceeded during transfer_quota(3) [init -> gpio_drv] resource_request: cap_quota=3 [init] child "gpio_drv" requests resources: cap_quota=3 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 Warning: mapping failed 0x2dc03000 -> 0x10003000 Warning: mapping failed 0x2dc03000 -> 0x10003000 [init -> test-input] --- Input test --- Warning: mapping failed 0x2dc03000 -> 0x10003000 and that last line repeats indefinitely. I cannot find either of those addresses anywhere in the code so it is unclear to me what the problem is. -- Edward Sandberg Adventium Labs 111 3rd Avenue S. Suite #100 Minneapolis, MN 55401 ed.sandberg(a)adventiumlabs.com

3 3

genode-sel4-arm -- Genode OS and the seL4 micro-kernel on physical ARM hardware
by Adam Wiethuechter 19 Sep '18

19 Sep '18

Webite -- http://genodl4arm.critical.com/ Github -- https://github.com/CriticalTechnologiesInc/genode-sel4-arm Hello everyone, I have something rather exciting to share with you all today that we here at Critical Technologies Inc (CTI) have been working on for sometime now - the marriage of Genode OS and seL4 on native ARM hardware. We currently are supporting the Wandboard Quad (from Wandboard) and the SabreLite (from Boundary Devices). We are hoping to continue development targeting ARMv8a boards of interest; mainly the Raspberry Pi 3B and/or the Xilinx Zynq UltraScale+ ZCU102. This is obviously a work in progress with only the first step but we wished to share our documentation to the community for others to contribute and see what we are doing. I am happy to answer any questions you may have. -- 73's, Adam Wiethuechter, Jr Software Engineer Critical Technologies Inc. <adam.wiethuechter(a)critical.com>

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users