users

users@lists.genode.org

6 participants
2306 discussions

Re: Tutorials on porting 3rd party source/library
by Aditya Kousik 21 Mar '15

21 Mar '15

Hello all, I've gotten back into Genode dev after nearly a year. I was going through the porting guide, and I'm stuck. I initialized the prepare_port script for dosbox and set a build directory for linux_x86. But running either make app/dosbox and run/dosbox gives an Error 255 : No run script for dosbox. Where am I going wrong? Secondly, about the LIBS variable: Does it link libraries already ported for the Genode platform, or the libraries from the Linux system? Thanks and regards, Aditya.

2 1

lacks a valid hash
by missss 19 Mar '15

19 Mar '15

Hi everyone. I follow the example in the https://raw.githubusercontent.com/nfeske/genode-world/master/doc/numptyphys… port file with the following content: LICENSE := GPLv3 VERSION := git DOWNLOADS := numptyphysics.git URL(numptyphysics) := https://github.com/thp/numptyphysics.git DIR(numptyphysics) := src/app/numptyphysics REV(numptyphysics) := 336729c44c9ced3907d049cc1c1130a26c5708a3 hash file with following content： dummy when i use prepare _port tool: <genode-dir>/tool/prepare_port numptyphysics CHECK_HASH=no with following errors: Error: Port numptyphysics lacks a valid hash make: *** [nonexisting_hash] Error 1 why i use argument “CHECK_HASH=no”?but it still report the error.

1 0

How can i port linux driver to genode
by 周俊 18 Mar '15

18 Mar '15

Hi everyone！ I have been read the official document： http://www.genode.org/documentation/developer-resources/porting <http://www.genode.org/documentation/developer-resources/porting> I know the basic steps to port driver to genode. but i have some question：how can i write a port file？i don’t know what thing should write in a port file？ only include License ,version,downloads, URL,SHA,DIR.patches，patch_ot. is’t ok? what the relationship between port file and hash file?

2 1

Virtualbox + rump_fs + qemu
by a3an 16 Mar '15

16 Mar '15

Hello, I am trying get Virtualbox using rump_fs in a qemu environment. I am using a modified virtualbox.run script called vb_ide.run. Eventually Virtualbox is started as follows: qemu-system-x86_64 -no-kvm -cpu core2duo -m 512 -boot order=d, -hda /GV/QV.img -serial mon:stdio -cdrom var/run/vb-ide.iso Device -hda contains an ext2 filesystem upon which an original VirtualBox VMs directory environment is installed. The following is part of the init script that is used. <start name="atapi_drv"> <resource name="RAM" quantum="5M"/> <provides><service name="Block"/></provides> <config ata="yes"/> </start> <start name="rump_fs" priority="-1"> <resource name="RAM" quantum="32M" /> <provides><service name="File_system"/></provides> <config fs="ext2fs"><policy label="" root="/" writeable="yes"/></config> </start> <start name="virtualbox" priority="-2"> <resource name="RAM" quantum="750M"/> <config vbox_file="w7.vbox" vm_name="w7"> <libc stdout="/dev/log" stderr="/dev/log"> <vfs> <dir name="dev"> <log/> </dir> </vfs> </libc> </config> </start> This part of the script and a similar qemu invocation have been used in a variation of the rump_ext2 script as well and works fine. The NOVA hypervisor is booted from -cdrom the programs are loaded from -cdrom as well. The test program issues filesystem operation resulting in manipulations of the filesystem on device -hda. When stating Virtualbox however, is does not work. Everything starts fine, however, virtualbox does not seem to use rump_fs (I have placed a PWRN message in the rump_fs server code that did not show up). It terminates because it cannot find w7.vbox. Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 456 MB to init Quota exceeded! amount=24576, size=4096, consumed=24576 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=40960, size=4096, consumed=40960 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> atapi_drv] IDE 0 Device 0: ATA IRQ: 14 [init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 5468 kiB [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [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 -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT [init -> rump_fs] Asserting rump kernel 28732 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) [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT Quota exceeded! amount=49152, size=4096, consumed=49152 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi] MADT IRQ 5 -> GSI 5 flags: d [init -> acpi] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi] MADT IRQ 10 -> GSI 10 flags: d [init -> acpi] MADT IRQ 11 -> GSI 11 flags: d Quota exceeded! amount=61440, size=4096, consumed=61440 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=57344, size=4096, consumed=57344 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE 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) [init -> acpi -> pci_drv] PCI driver started Quota exceeded! amount=73728, size=4096, consumed=73728 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME Quota exceeded! amount=86016, size=4096, consumed=86016 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=81920, size=4096, consumed=81920 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd starting ... [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd started [init -> acpi] ACPI table format not supported - will not rewrite GSIs [init -> atapi_drv] Found IDE Bus Master (Vendor ID: 8086 Device ID: 7010 Class: 00010180) [init -> atapi_drv] Bus master interface base addr: 0000c100 (I/O) secondary (no) (supported) [init -> atapi_drv] Adress mode is LBA48 [init -> atapi_drv] UDMA Modes supported: [init -> atapi_drv] 0 and below: yes enabled: no [init -> atapi_drv] 1 and below: yes enabled: no [init -> atapi_drv] 2 and below: yes enabled: no [init -> atapi_drv] 3 and below: yes enabled: no [init -> atapi_drv] 4 and below: yes enabled: no [init -> atapi_drv] 5 and below: yes enabled: yes [init -> atapi_drv] PRD base at 03035000 (physical) at 00004000 (virtual) [init -> atapi_drv] Device initialized! Enabling interrupts ... [init -> atapi_drv] First block: 0 last block 104857599, block size 512 [init -> rump_fs] Backend::Backend(): Backend blk_size 512 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1000 Quota exceeded! amount=94208, size=4096, consumed=94208 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> virtualbox] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> virtualbox] using the pipe libc plugin [init -> virtualbox] getenv called for non-existent variable "XML_MEM_BREAKPOINT" [init -> virtualbox] getenv called for non-existent variable "XML_MEM_TRACE" [init -> virtualbox] getenv called for non-existent variable "LC_ALL" [init -> virtualbox] getenv called for non-existent variable "LC_CTYPE" [init -> virtualbox] getenv called for non-existent variable "LANG" [init -> virtualbox] getenv called for non-existent variable "PATH_LOCALE" [init -> virtualbox] getenv called for non-existent variable "VBOX_DISABLE_HOST_DISK_CACHE" [init -> virtualbox] getenv called for non-existent variable "CHARSETALIASDIR" [init -> virtualbox] plugin()->open("") failed [init -> virtualbox] fcntl(): command 2 not supported [init -> virtualbox] Log created: 2015-02-22T21:29:03.000000000Z [init -> virtualbox] main Executable: /virtualbox [init -> virtualbox] C++ runtime: xml::EIPRTFailure [init -> virtualbox] C++ runtime: Runtime error opening 'w7.vbox' for reading: -102(File not found.) [init -> virtualbox] void* abort(): abort called What I do not understand is, how one can tell/direct Virtualbox to use a particular device or filesystem. Can somebody explain this ? Regards, Adrian

2 10

Can't run Android on Pandaboard
by Zachary 16 Mar '15

16 Mar '15

Hi all, I want to run Android using Genode foc on Pandaboard referencing to "http://sourceforge.net/p/genode/mailman/message/30642833/" Now, I compile and get a image. When I run the image, I only get a black window with a penguin on it. This my operation: 1) Format my SD card to 3 partitions. 2) Copy the system-ginger.img via "dd" to the second partition: sudo dd if=system-ginger of=/dev/sdb2 bs=1M 3) Build the image using the run script blew 4) Copy the image to the first partition of the SD card This is my run script: # # Build # if {[have_spec foc] == 0} { puts "Runs on Fiasco.OC only" exit 0 } # generic components set build_components { core init drivers/timer drivers/framebuffer drivers/sd_card drivers/usb drivers/gpio server/nitpicker server/nit_fb server/nic_bridge server/part_blk server/terminal server/terminal_log l4android } build $build_components create_boot_directory # # Config # set config { <config prio_levels="2"> <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="CAP"/> <service name="PD"/> <service name="RM"/> <service name="CPU"/> <service name="LOG"/> <service name="SIGNAL"/> </parent-provides> <default-route> <any-service> <parent/> <any-child/> </any-service> </default-route> <start name="timer"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="fb_drv"> <binary name="fb_drv"/> <resource name="RAM" quantum="4M"/> <provides><service name="Framebuffer"/></provides> </start> <start name="sd_card_drv"> <resource name="RAM" quantum="4M"/> <provides><service name="Block"/></provides> </start> <start name="gpio_drv"> <resource name="RAM" quantum="4M"/> <provides><service name="Gpio"/></provides> <config/> </start> <start name="usb_drv"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config ehci="yes"> <hid/> <nic mac="2e:60:90:0c:4e:01" /> </config> </start> <start name="part_blk"> <resource name="RAM" quantum="2M"/> <provides><service name="Block"/></provides> <config> <policy label="l4android -> sda" partition="3" /> </config> <route> <service name="Block"> <child name="sd_card_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="nic_bridge" priority="-1"> <resource name="RAM" quantum="2M"/> <provides><service name="Nic"/></provides> <route> <service name="Nic"> <child name="usb_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="nitpicker"> <resource name="RAM" quantum="2M"/> <provides><service name="Nitpicker"/></provides> <route> <service name="Input"> <child name="usb_drv"/> </service> <service name="Framebuffer"> <child name="fb_drv"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> <start name="android_fb"> <binary name="nit_fb"/> <resource name="RAM" quantum="4M"/> <provides> <service name="Framebuffer"/> <service name="Input"/> </provides> <config xpos="0" ypos="0" width="640" height="480"/> </start> <start name="l4android"> <resource name="RAM" quantum="512M"/> <config args="mem=128M console=ttyS0 l4x_rd=root-ginger.gz"> <block label="sda"/> </config> <route> <service name="Input"> <child name="android_fb"/> </service> <service name="Framebuffer"> <child name="android_fb"/> </service> <service name="Block"> <child name="part_blk"/> </service> <service name="Nic"> <child name="nic_bridge"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> </config>} install_config $config # # Boot modules # set boot_modules { core init timer nitpicker nit_fb nic_bridge terminal terminal_log fb_drv part_blk sd_card_drv gpio_drv usb_drv l4android root-ginger.gz ld.lib.so } lappend_if [have_spec x86] boot_modules nic_drv lappend_if [have_spec x86] boot_modules atapi_drv lappend_if [have_spec pci] boot_modules pci_drv lappend_if [have_spec ps2] boot_modules ps2_drv lappend_if [have_spec pl11x] boot_modules pl11x_drv lappend_if [have_spec lan9118] boot_modules nic_drv lappend_if [have_spec pl180] boot_modules sd_card_drv lappend_if [have_spec vesa] boot_modules vesa_drv if {[have_spec x86]} { set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-ia32-ginger.gz" set system_uri "http://genode.org/files/release-11.11/l4lx/system-ia32-ginger.img" } elseif {[have_spec arm]} { set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz" set system_uri "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img" } if {![file exists bin/root-ginger.gz]} { puts "Download initramfs ..." exec curl $initrd_uri > bin/root-ginger.gz 2> /dev/null } if {![file exists bin/system-ginger.img]} { puts "Download system image ..." exec curl $system_uri > bin/system-ginger.img 2> /dev/null } build_boot_image [join $boot_modules " "] append qemu_args " -m 512 " append qemu_args " -serial mon:stdio " append_if [have_spec x86] qemu_args " -hda bin/system-ginger.img " append_if [have_spec x86] qemu_args " -net nic,model=e1000 " append_if [have_spec pl180] qemu_args " -drive file=bin/system-ginger.img,if=sd,cache=writeback " append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user -redir tcp:5555::5555 " run_genode_until forever --------------------------------------------------------------------- This is the log: ... Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 997 MB to init int main(): --- init created, waiting for exit condition --- Quota exceeded! amount=28672, size=4096, consumed=28672 [init] upgrading quota donation for Env::CPU (8192 bytes) [init -> gpio_drv] --- omap4 gpio driver --- Insufficient quota for transfer: init -> part_blk have 1564672, need 4206592 [init] not enough quota for a donation of 4206592 bytes [init -> part_blk] resource_request: ram_quota=4206592 [init -> part_blk] virtual void Genode::Platform_env::release(): used before freeing emergency=290816 [init -> part_blk] virtual void Genode::Platform_env::release(): used after freeing emergency=286720 [init] child "part_blk" requests resources: ram_quota=4206592 [init -> fb_drv] Could not open file "config" [init -> fb_drv] Could not obtain config file [init -> sd_card_drv] --- OMAP4 SD card driver --- [init -> fb_drv] int main(int, char**): using default configuration: HDMI@...311... [init -> gpio_drv] No GPIO config [init -> l4android] Booting L4Linux ... [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 <raw> config node found - not starting external USB service [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> l4android] ======> L4Linux starting... <======== [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (czzcz@...306...) (gcc version 4.7.4 (GCC) ) #18 SMP Thu Mar 12 10:52:16 CST 2015 [init -> l4android] Binary name: vmlinux [init -> l4android] This is an AEABI build. [init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0 l4x_rd=root-ginger.gz [init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB] [init -> l4android] Areas: Text: 01000000 - 0135e000 [3448kB] [init -> l4android] Data: 0135e000 - 0138b1b8 [180kB] [init -> l4android] Initdata: 01337000 - 0135c4c0 [149kB] [init -> l4android] BSS: 0138c000 - 013c96e8 [245kB] [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> sd_card_drv] CID: 0x97009861 0x38caa862 0x44303847 0x02544d53 [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> sd_card_drv] RCA: 0x895a [init -> l4android] Device scan done. [init -> usb_drv] void platform_hcd_init(Services*): register platform device [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 7600 MiB [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> part_blk] Partition 1: LBA 63 (144522 blocks) type: c [init -> part_blk] Partition 2: LBA 144585 (15149295 blocks) type: c [init -> part_blk] Partition 3: LBA 15293880 (257040 blocks) type: c [init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00 [init -> l4android] main thread will be c [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] section-with-init: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> l4android] Main thread running, waiting... [init -> l4android] thread=c000 cpu=0 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> l4android] Main memory size: 128MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB] [init -> l4android] Main memory: Phys: 0x00000000 to 0x08000000, Size: 134217728 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] text: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1336fcb [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 135e000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13c96e7 [init -> usb_drv] dev_info: USB hub found [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13fffff [init -> l4android] l4x_rd_path: root-ginger.gz [init -> usb_drv] dev_info: 3 ports detected [init -> l4android] Loading: root-ginger.gz [init -> l4android] INITRD: Size of RAMdisk is 224KiB [init -> l4android] RAMdisk from 00005000 to 0003d000 [224KiB] [init -> l4android] l4timer: Using IRQ210 [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init] l4android: no route to service "Terminal" [init -> nitpicker] create session with args: label="android_fb", ram_quota=28672 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 12359a0 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 12359a0 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap [init -> android_fb] using xywh=(0,0,640,480) [init -> nic_bridge] Could not open file "config" [init -> nic_bridge] Could not obtain config file Insufficient quota for transfer: init -> nic_bridge have 1564672, need 3301376 [init] not enough quota for a donation of 3301376 bytes [init -> nic_bridge] resource_request: ram_quota=3301376 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used before freeing emergency=278528 [init -> nic_bridge] virtual void Genode::Platform_env::release(): used after freeing emergency=274432 [init] child "nic_bridge" requests resources: ram_quota=3301376 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 5 ports detected [init -> nic_bridge] Invalid session request, no matching policy [init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01 [init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1500 simple framing [init -> usb_drv] nedev_info: hardware isn't capable of remote wakeup [init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10c4e04M ------------------------------------------------------------------ so, 1)Is there anything wrong with my run script? What should I do to make Android run perfectly on pandaboard? 2)Is "ld.lib.so" necessary? The run script of longjks include the component, but I can't compile it successfully using this script. Best, Zachary

1 1

Fwd: Genode on iMX53 with TrustZone
by Martin Stein 16 Mar '15

16 Mar '15

-------- Forwarded Message -------- Subject: Genode on iMX53 with TrustZone Date: Thu, 12 Mar 2015 16:05:30 +0900 From: JaeminPark <jmpark81@...9...> To: martin.stein@...1... Dear, I’m writing this e-mail to ask you some questions to build and boot Genode with TrustZone into FreeScales iMX53 QSB. According to the article in https://sourceforge.net/p/genode/mailman/message/33584768/, I could build and boot (maybe) Genode in my iMX53 board. Through the serial, I only could see the log as bellow : /…/ /Starting kernel …/ / / /kernel initialized/ /Genode 15.02/ /init main() : — create local services —/ /…/ /[init -> tz_vmm] Start virtual machine…/ After this log, I could see only blinking prompt. Is this successful boot of Genode with TrustZone? If possible, can you provide me with successful log on iMX53 QSB? Furthermore, I’d like to boot guest OS (normal world OS) after booting up Genode with TrustZone. Is there any way for this? I’m looking forward to your response, and thank you very much in advance. My Best Regards, Jaemin Park Park, Jae Min Member of Engineering Staff System R&D Division, The Attached Institute of ETRI Tel : +82-42-870-4757 Mobile : +82-10-3109-2658 jmpark@...312... <mailto:jmpark@...312...>, jmpark81@...9... <mailto:jmpark81@...9...> http://jmpark81.wordpress.com/about

3 5

Re: SMC on i.mx6
by Vincent Raes 12 Mar '15

12 Mar '15

Hello, Thank you for the advice. I performed some checks to see in what exact mode the 'smc' instruction is executed and it is supervisor mode which is a privileged mode so no problems there. This leads me to believe there is indeed something which goes wrong with the instruction itself. Since I do not have access to a JTAG debugger, trying to find out what kind of exceptions are taken seems to be the best course of action. As for what stop means, it is literally just that, it stops. I get all the output I would expect right up to the point where the 'smc' instruction is issued. After that, nothing happens. At least not in the normal world since I have tried running a different thread next to the one that performs the hypercall. This secondary thread should periodically print some output but remains silent all the time. The secure world does not give any signs of life either which is the main reason I'm posting here. As far as I can see, this non responsiveness from the secure world may make it hard to get the base-hw kernel that's running there to actually see what exception is taken but I'll give it a shot. And I am using 2 different genode kernels in the secure and normal world. The normal kernel is treated like the Linux kernel in the tz_vmm example. I simply manually place the binary image of the kernel in the bin folder so the run script can package it with the secure kernel. Best regards, Vincent On 03/12/2015 07:48 AM, Stefan Kalkowski wrote: >Hello Vincent, > >On 03/11/2015 08:44 PM, Vincent Raes wrote: >> Hello, >> >> I am facing some issues with the 'SMC' instruction on the i.mx6. >> I can run the tz_vmm example, based on the veax9 code since they both >> have a TZASC, on the board and the world switch from secure to normal >> world works as intended. However when trying to switch back from normal >> world to secure world, execution simply hangs after the 'smc' assembler >> instruction. >> It was my understanding that this instruction should trap to the secure >> world and then the tz_vmm continues to work with that. In my case >> everything simply stops. > > That is right, the 'smc' instruction should provoke an exception taken > to the secure world's exception vector. Are you sure that the > instruction is executed in the normal world? What does stop mean? To get > a picture what is going on you either need to debug it via a JTAG > debugger, or by instrumenting the base-hw kernel of the secure-side to > see what kind of exceptions are taken. A good starting-point would be > the 'Kernel::Vm' class' 'exception' function. In Genode 15.02 you can > find this function in here: > > > https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/core/spe… > > If you use another version, you have to grep for it. > >> >> I am using Genode in both normal and secure world since I'm mainly going >> for a proof of concept at this point. In order to execute the 'smc' >> instruction, I implemented a public syscall so the kernel will be the >> one to give the command which should ensure that the processor is in a >> privileged mode when completing the call. >> >> Should I perhaps add a new core service to base-hw to make the call to >> the kernel? And if so, are there any pointers as to how to go about >> this? The only real advantage this method offers as far as I can see is >> that it is better for Genode's access control policy and gives more >> control to which applications can call for the 'smc' instruction. >> > > The other possibility why it doesn't work would be that the 'smc' > instruction is not really executed in privileged mode. To be really sure > about it, you might print the CPSR register and have a look at the five > least-significant bits to validate the current mode. > > Having a public syscall that is not private to core should not be the > problem in here. That is more a question of the desired architecture, > but it should function in both ways. > > Just out of curiosity: if you use Genode on both sides of the TrustZone, > do you use one and the same kernel/core for both worlds? And if so, how > do you distinguish between both when booting the kernel? > > Regards > Stefan > >> >> Best regards, >> Vincent >> >> >> ------------------------------------------------------------------------------ >> Dive into the World of Parallel Programming The Go Parallel Website, sponsored >> by Intel and developed in partnership with Slashdot Media, is your hub for all >> things parallel software development, from weekly thought leadership blogs to >> news, videos, case studies, tutorials and more. Take a look and join the >> conversation now. http://goparallel.sourceforge.net/ >> >> >> >> _______________________________________________ >> genode-main mailing list >> genode-main@...52... >> https://lists.sourceforge.net/lists/listinfo/genode-main >> > > -- > Stefan Kalkowski > Genode Labs > > http://www.genode-labs.com/ · http://genode.org/

1 0

How can I port Genode to Exynos4 platform?
by pyl 12 Mar '15

12 Mar '15

Hi everyone, I can run genode(base-foc) on the Pandaboard ES, and now I want to port genode to Odroid-Q2(exynos4412), but there is no script to run , I don't know what need I do and how to configure genode to make it work on Odroid. Can you help me? Thanks Cooper

2 1

An in-depth look into the ARM virtualization extensions
by Stefan Kalkowski 12 Mar '15

12 Mar '15

Hello everyone, as already announced, Genode's recent release 15.02 introduces virtualization support for ARM to our custom base-hw kernel. Due to the brisk demand regarding our prior article about ARM TrustZone, we decided to provide in-depth information about our virtualization work again. If you are interested in this topic, you may consider the following article, which was published right now: http://genode.org/documentation/articles/arm_virtualization I hope it provides a helpful insight into ARM virtualization in general and our related work in particular. Best regards Stefan -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

Progress of bringing Genode to seL4
by Norman Feske 12 Mar '15

12 Mar '15

Hello, I have written up the first of a series of articles about using seL4 as base platform for the Genode OS framework: http://genode.org/documentation/articles/sel4_part_1 I hope that it contains useful bits of information for novices of seL4 and Genode alike. Even though the article outlines a few hurdles, the overall experience of using the kernel had been overly positive so far. For those of you interested in tracking the progress of the ongoing work, here is the corresponding topic branch: https://github.com/nfeske/genode/commits/sel4 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 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users