users

users@lists.genode.org

1 participants
2310 discussions

tz_vmm demo on imx53-qsb using file system
by lzSun 19 Sep '18

19 Sep '18

Hello, I am working on TZ_VMM demo using I.MX53-QSB board and I want to implement my own secure APP. However, I wonder whether there is file system driver that I can use to read/write file on disk for I.MX53-QSB board. At the beginning , I was using VFS (e.g. include "file.tar" in my config file). But when the "file.tar" is getting too large (almost 100M), I met problems when booting the system. From http://genode.org/documentation/release-notes/14.05#Per-process_virtual_fil… I get to know the "file.tar" is build as a ROM module, so , I guess it's because the file are too large and there isn't enough memory to hold the file. Is it right? In general, I wonder how can I read/write file on disk in TZ_VMM demo. It will be great if you can give me any suggestions or helpful materials that I can refer to. Thank you in advance! ------------------ Best wishes

1 0

bin/nic_drv no such directory in Genode 15.02
by Prakash A 19 Sep '18

19 Sep '18

Hi, I am using network_test_nic run script to test nic driver. my command is *make run/network_test_nic* At the end I am getting message like : genode build completed *cp: cannot stat 'bin/nic_drv': No such file or directory* while executing and some error messages. I am using *Genode 15.02* and the platform is *hw_sabrelite_tz*. I have* enabled the dde_ipxe repository in build.config* and also I run the command *make prepare* in dde_ipxe, dde_linux, libports and ports in their respective directories. But still I am getting same error. Is anything to need implement for nic driver? or is there any problem in tool_chain, I am using tool_chain 14.11 for Genode 15.02. Regards, Prakash A M.Tech (CSE)

2 4

Compile C++ and C file together
by lzSun 17 Sep '18

17 Sep '18

Hello, I want to build a component which needs both C++ and C files, however, I encountered some problem when I compiling them together. Here's the error: libc.lib.so: undefined reference to `Libc::Component::construct(Libc::Env&)' collect2: error: ld returned 1 exit status For brief, in the C++ file (main.cc ), I would use a function in the C file , so I want to compile them together. In the main.cc file ,I add " extern "C" { # include cfile.h } " . In the cfile.h there exist the C function declaration ,let's say " fun() " , and I would use fun() in the main.cc. And in the target.mk, I set SRC_C = xx.c xxx.c (all the C files to be used ) and add LIBS+= libc to use C library which the fun() function would use. And I get the error message above, so my question is how can I compile the C++ and the C files together? Any help will be greatful, thanks in advance! ------------------ Best wishes

3 2

A Few Quick Thoughts On Sculpt VC
by John J. Karcher 13 Sep '18

13 Sep '18

Hello, I'm afraid this won't be a very substantive message - I just have a couple of opinions and a question. First, about the new "Live Runtime View". I didn't know what to expect from Sculpt VC, but even given your history of thinking outside the box, this one surprised me. It is a very powerful and elegant idea that perfectly matches the rest of the system. I can't wait to see what comes next! Also, I like the changes to the "launcher" / "deploy" config. It's a nice, clean separation that makes it much easier for the user (and future GUI front-ends, I assume). Since there always seems to be a good reason for even the minor design decisions you make, I will pose this as a question rather than a request: Is there a reason why the Inspect window is not always open? I find it handy for working with the "in-memory config", even without using the storage devices. In the same vein, might I suggest a more "discoverable" way of switching between the Inspect window and the Live Runtime View? (Perhaps a button bar like the "Network" section of the Manager window.) In a nutshell, I continue to be impressed with the direction you've chosen. I am planning on getting a refurbished ThinkPad soon, and will try to migrate to Genode as a "daily driver"; hopefully then I can give more useful feedback. Thanks! -- John J. Karcher devuser(a)alternateapproach.com

2 1

Re: TZ_VMM demo on i.mx53
by lzSun 13 Sep '18

13 Sep '18

>> Hello, >> I am new to Genode and the version I am using is 18.05. I am trying to boot genode on the secure world and linux on normal world on i.MX53-QSB board. I follow steps in this link: https://sourceforge.net/p/genode/mailman/message/33588666/. The system can boot successfully ,but after the linux started，it periodically print this message: >> mmc0: Timeout waiting for hardware interrupt. >> mxsdhci: ============== REGISTER DUMP ============== >> mxsdhci: Sys addr: 0x00000000 | Version: 0x00001201 >> mxsdhci: Blk size: 0x00000000 | Blk cnt: 0x00000001 >> mxsdhci: Argument: 0x00000c00 | Trn mode: 0x341a0000 >> mxsdhci: Present: 0xff880008 | Host ctl: 0x00000121 >> mxsdhci: Clock: 0x000010ff >> mxsdhci: Int stat: 0x00010001 >> mxsdhci: Int enab: 0x107f010b | Sig enab: 0x107f000b >> mxsdhci: Caps: 0x07f30000 >> mxsdhci: =========================================== >if you just used the tz_vmm.run script without modifications, it >should work without these messages. Thanks for your reply! Actually, I just use the tz_vmm.run script without modifications. I have no idea about why this message was printed, could you give me any help? ------------------ Best wishes

2 1

interrupt issues caused by multiple IO-APICs?
by Nobody III 12 Sep '18

12 Sep '18

I've been trying to debug Genode's interrupt issues on my desktop computer on and off for a few years now, and I've recently gathered more information by testing some different devices and configurations that I hadn't before. I'd already found that both usb_drv and ahci_drv waited for interrupts that never came, and were thus unable to function properly. However, fb_drv works without any issues. I know from previous debugging, with the help of multiple Genode developers, that my computer has two IO-APICs (rather than one) and an unusual ACPI table. I've tried using ACPICA in place of Genode's custom ACPI driver, but that doesn't solve my problems, even now that it calls the _PIC method to configure the interrupt controller to run in APIC mode. Recently, I have acquired a PS/2 mouse and keyboard, and have found, to my surprise, that they worked properly in Genode, unlike both USB and AHCI. I was even more surprised to find that my recently-added Intel 8260 wireless card also worked under Genode. I examined my interrupt table (available at https://gist.github.com/NobodyIII/573e58bcb82446ed1da36043676c3013), and found that the wireless card uses MSI interrupts, and noticed that the XHCI controller also uses MSI interrupts. I modified Sculpt's usb_drv config to disable everything except XHCI, and plugged my USB mouse and keyboard into USB 3.0 ports, and that allowed me to use them as well. After further examination of my interrupt table, I noticed that the i8042-compatible PS/2 controller uses regular IO-APIC interrupts like the ACHI, OHCI, and EHCI controllers do. However, AHCI, OCHI, and EHCI all use the upper half of my IRQs (16-32), while the PS/2 controller only uses the lower half. Assuming that the two IO-APICs split the IRQs such that one handles the lower half of the IRQs and the other handles the upper half, it seems that Genode is likely handling the first IO-APIC correctly, but not the second one. Does anyone have any more information or ideas? And has anyone else tried Genode on a computer with multiple IO-APICs?

1 0

rump_cgd
by Steven Harp 11 Sep '18

11 Sep '18

Is rump_cgd (block encrypted devices introduced ~14.05) still supported/operational in Genode 18.x? Issue #2224 mentions "not converted" in transition to new base API [1], and #2778 seems to have removed the 'tool/rump' script (which was handy to prepare encrypted volumes) [2]. // Steve Harp [1] https://github.com/genodelabs/genode/issues/2224 [2] https://github.com/genodelabs/genode/issues/2778

3 3

Boot problem on tz_vmm demo for imx53-qsb
by lzSun 11 Sep '18

11 Sep '18

Hello, I am using genode 18.05 and I am trying the TZ_VMM demo on imx53-qsb board. I encountered problem when the system is booting. The error like this: [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 = 0x07000000 0x00000000 [init -> tz_vmm] r1 = 0xf801ff50 0x00000000 [init -> tz_vmm] r2 = 0xffffffe4 0x00000000 [init -> tz_vmm] r3 = 0x40002000 0x00000000 [init -> tz_vmm] r4 = 0x00000000 0x00000000 [init -> tz_vmm] r5 = 0x00000000 0x00000000 [init -> tz_vmm] r6 = 0x000000ee 0x00000000 [init -> tz_vmm] r7 = 0x00000000 0x00000000 [init -> tz_vmm] r8 = 0x00000000 0x00000000 [init -> tz_vmm] r9 = 0x00000000 0x00000000 [init -> tz_vmm] r10 = 0x00000000 0x00000000 [init -> tz_vmm] r11 = 0x00000000 0x00000000 [init -> tz_vmm] r12 = 0x00000000 0x00000000 [init -> tz_vmm] sp = 0x00000000 0x00000000 [init -> tz_vmm] lr = 0x00000000 0x00000000 [init -> tz_vmm] ip = 0x0040dfe8 0x00000000 [init -> tz_vmm] cpsr = 0x60000093 0x00000000 [init -> tz_vmm] sp _und = 0x00000000 0x00000000 [init -> tz_vmm] lr _und = 0x80008008 0x00000000 [init -> tz_vmm] spsr _und = 0x00000093 0x00000000 [init -> tz_vmm] sp _svc = 0xf801ff4c 0x00000000 [init -> tz_vmm] lr _svc = 0x0040bc97 0x00000000 [init -> tz_vmm] spsr _svc = 0x00000000 0x00000000 [init -> tz_vmm] sp _abt = 0x00000000 0x00000000 [init -> tz_vmm] lr _abt = 0x00000000 0x00000000 [init -> tz_vmm] spsr _abt = 0x00000000 0x00000000 [init -> tz_vmm] sp _irq = 0x00000000 0x00000000 [init -> tz_vmm] lr _irq = 0x00000000 0x00000000 [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 = 0x00000000 [init -> tz_vmm] ttbr1 = 0x00000000 [init -> tz_vmm] ttbrc = 0x00000000 [init -> tz_vmm] dfar = 0x07000000 0x00000000 [init -> tz_vmm] exception = data_abort And my steps are: 1. get linux image: git clone https://github.com/skalk/linux.git git checkout imx53-tz cross_compile and get uImage 2.compile genode: ./tool/create_builddir hw_imx53_qsb_tz add RUN_OPT = --include boot_dir/hw --include image/uboot copy uImage to bin/linux comment out "exec >& /dev/null wget -O bin/linux.md5 $linux_uri.md5" comment out "exec md5sum -c linux.md5" make run/tz_vmm and get uImage 3.get u-boot git clone https://github.com/skalk/u-boot/tree/imx53_loco cross compile and get u-boot.imx 4.Booting by ext2load and bootm command. Can anyone help me fix this problem? ------------------ Best wishes

2 1

TZ_VMM demo on i.mx53
by lzSun 11 Sep '18

11 Sep '18

Hello, I am new to Genode and the version I am using is 18.05. I am trying to boot genode on the secure world and linux on normal world on i.MX53-QSB board. I follow steps in this link: https://sourceforge.net/p/genode/mailman/message/33588666/. The system can boot successfully ,but after the linux started，it periodically print this message: mmc0: Timeout waiting for hardware interrupt. mxsdhci: ============== REGISTER DUMP ============== mxsdhci: Sys addr: 0x00000000 | Version: 0x00001201 mxsdhci: Blk size: 0x00000000 | Blk cnt: 0x00000001 mxsdhci: Argument: 0x00000c00 | Trn mode: 0x341a0000 mxsdhci: Present: 0xff880008 | Host ctl: 0x00000121 mxsdhci: Clock: 0x000010ff mxsdhci: Int stat: 0x00010001 mxsdhci: Int enab: 0x107f010b | Sig enab: 0x107f000b mxsdhci: Caps: 0x07f30000 mxsdhci: =========================================== I am not sure whether this is normal, or it's because something wrong.And I have a few question about the TZ_VMM demo on i.MX53 board hope to get help: 1. I looked up the code in repos/os/src/server/tz_vmm, in target.mk file, there's only empty.cc was declared to be compiled. So how can other files can be compiled and used? 2. I want to implement a secure app in Genode OS and provide service to normal world.But I have difficult to achieve this goal. To my understanding, I should implement the server module that can be used by VMM. Also, I should design help module in the linux kernel which uses SMC instruction to trap to VMM. Is it right? Actually, in tz_vmm dictionary, I can only see a block driver and serial driver which are used to handle block and serial driver smc respectively. So I don't know where can I add my code to serve normal world's smc request. Is there any suggestion or guidance that I can refer to? Best Regards,

2 1

Genode on AMD SB7x0/SB8x0/SB9x0
by Nobody III 11 Sep '18

11 Sep '18

I've had issues with interrupts on Genode on my desktop computer with an AMD chipset. In particular, the USB and AHCI drivers both get stuck waiting for interrupts. However, the VESA framebuffer driver works fine. I have tried using ACPICA to solve my issues, but with no success. I recently bought a PS/2 mouse, and it works just fine. Also, I recently installed an Intel wireless card, which Sculpt was able to detect. When I selected WiFi, the driver was able to detect nearby wireless networks. I have not been able to test whether I can connect yet, because I don't have a PS/2 keyboard. I'll try inserting my own wifi_config XML file with an SSID and password into my Sculpt image tomorrow, and then I can report on whether that works. What does this new information indicate?

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users