users

users@lists.genode.org

1 participants
2310 discussions

TZ support without NDA
by Madhu (Macaque Labs) 02 Mar '15

02 Mar '15

Who are the ARM cpu vendors who publish their trust zone support ? I know Freescale does, know for a fact Qualcomm does not ! Mediatek ? Trying to do a virtualized android tablet distribution. Can we have a genode sub project on this. I am sure, others would be interested. Also attempting a port of bionic on genode. First hack is done, doing so excited testing. If this works, then genode on genode virtualization might suffice. Using Freescale currently but it is A9, so has no VT support and power usage is on the higher side. I see a couple of Samsung exynos boards on the support list, I think both are a15 based cores. So does that mean we can hack a galazy tab or a high end galaxy s phone to run genode ? Has to be the wifi or the Asian version. Both run Exynos. US 3g/lte variants typically run snapdragon though I believe that is changing with the new s6. would be nice to have a cortex a 53/57 device though. I have also asked AMD for details on their new Carrizo processor. this is a multi core x86 with a cortex ax supposedly running trustzone. Wanr to try a virtualize Ubuntu on this with security modules secured through tz. Our own open source Shakti processor based on RiscV is getting its TZ support but it will be at least end of the year before we can release it on fpga. Student code takes to ensure to clean up ! Also riscv mmu slecture is not available yet. The UCB rocket processor is ready but some one has to hack TZ into it.

3 4

Announcement: Genode OS Framework version 15.02 released
by Christian Helmuth 27 Feb '15

27 Feb '15

According to our road map, the overall theme of 2015 is the consolidation and cultivation of the existing feature set rather than the conquering of new grounds. Along these lines, the current release brings with virtualization support on ARM one prominent feature but plenty of changes regarding testing, stability, and performance improvements. The highlights are - Virtualization on ARM - Modular tool kit for automated testing - Improved performance of VirtualBox on NOVA - Libraries and protocol stacks - Update of rump-kernel based file systems - Ports of sqlite and libbz2 - Device drivers - Support for USB touchscreen devices - New wireless configuration interface - New USB session interface - Platforms - Added support for the USB Armory board - IPC helping on the base-hw kernel - Out-of-order page-fault handling on NOVA Following our tradition, the extensive release documentation is available from http://genode.org/documentation/release-notes/15.02 and covers all additions and changes in detail. Best 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

Mailing-list issues
by Christian Helmuth 25 Feb '15

25 Feb '15

Hello all, if I'm lucky this mail reaches the list. For the third time since December, we experience mailing-list issues at Sourceforge. So, please be patient and (like me) cross fingers that we get back operational soon. For the future, I'd like to know of any reasonable alternative platform for our list. 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 ------------------------------------------------------------------------------ New Year. New Location. New Benefits. New Data Center in Ashburn, VA. GigeNET is offering a free month of service with a new server in Ashburn. Choose from 2 high performing configs, both with 100TB of bandwidth. Higher redundancy.Lower latency.Increased capacity.Completely compliant. http://p.sf.net/sfu/gigenet _______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

1 0

ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
by Peter Teoh 24 Feb '15

24 Feb '15

I enabled "foc_imx53" option in "create_builddir" and afte "make" the output as follows were generated: Skip target test/gpio_drv because it requires omap4 Skip target test/python because it requires x86 Skip target test/rm_nested because it requires experimental Skip target test/timer_accuracy because it requires linux Skip target test/vmm_utils because it requires nova Skip target test/xev_track because it requires host x11 xtest xdamage var/libdeps:2243: warning: overriding commands for target `vmlinux.prg' var/libdeps:2199: warning: ignoring old commands for target `vmlinux.prg' var/libdeps:4785: warning: overriding commands for target `.prg' var/libdeps:2307: warning: ignoring old commands for target `.prg' All build tools checked ok. Creating build directory "/sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/"... HOSTCC scripts/basic/fixdep HOSTCC scripts/kconfig/conf.o SHIPPED scripts/kconfig/zconf.tab.c SHIPPED scripts/kconfig/zconf.lex.c SHIPPED scripts/kconfig/zconf.hash.c HOSTCC scripts/kconfig/zconf.tab.o HOSTLD scripts/kconfig/conf scripts/kconfig/conf --oldconfig /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/Kconfig.generated # # configuration written to .kconfig # scripts/kconfig/conf --silentoldconfig /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/Kconfig.generated All build tools checked ok. gcc -fPIC -Wall -pedantic -g -m64 -c /sda1/home/tteikhua/Downloads/genode-14.11/contrib/foc-3456a52b6603b16c9f157c9b3e2045e0984028c0/src/kernel/foc/l4/tool/gendep/deptrack.c -o /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/deptrack.64.o gcc -fPIC -Wall -pedantic -g -m64 -c /sda1/home/tteikhua/Downloads/genode-14.11/contrib/foc-3456a52b6603b16c9f157c9b3e2045e0984028c0/src/kernel/foc/l4/tool/gendep/syscall.c -o /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/syscall.64.o mkdir -p /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/64 gcc -m64 -shared -Wl,--no-as-needed -Wl,-soname,/sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/64/libgendep.so -ldl -o /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/64/libgendep.so /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/deptrack.64.o /sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/tool/gendep/syscall.64.o ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. make[8]: *** [Makeconf.bid.local-internal-names] Error 1 make[7]: *** [Makeconf.bid.local-helper] Error 2 make[6]: *** [DROPSCONF_CONFIG_MK_POST_HOOK] Error 1 make[5]: *** [/sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/.config.all] Error 2 make[4]: *** [oldconfig] Error 2 make[3]: *** [all] Error 2 make[2]: *** [/sda1/home/tteikhua/Downloads/genode-14.11/tool/build_foc_imx53/l4/.kconfig] Error 2 make[1]: *** [platform.lib] Error 2 make: *** [gen_deps_and_build_targets] Error 2 And somewhere under the tool directory is found the libgendep.so file: /home/tteikhua/Downloads/genode-14.11>find .|grep gendep ./tool/build_foc_imx53/l4/tool/gendep ./tool/build_foc_imx53/l4/tool/gendep/64 ./tool/build_foc_imx53/l4/tool/gendep/64/libgendep.so ./tool/build_foc_imx53/l4/tool/gendep/Makefile ./tool/build_foc_imx53/l4/tool/gendep/syscall.64.o ./tool/build_foc_imx53/l4/tool/gendep/deptrack.64.o What is the cause of the error, and how to resolve it? -- Regards, Peter Teoh

1 0

incomplete uImage
by Peter Teoh 23 Feb '15

23 Feb '15

Thanks to Martin Stein, I got imx53 to boot the uImage (via uboot): => bootm 0x70200000 ## Booting kernel from Legacy Image at 70200000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 7860047 Bytes = 7.5 MiB Load Address: 70010000 Entry Point: 70010000 Verifying Checksum ... OK Uncompressing Kernel Image ... OK Starting kernel ... kernel initialized Genode 14.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 246 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] service "VM" [init] child "tz_vmm" [init] RAM quota: 3932160 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine ... undefined instruction Can someone help me? Where did it stopped? I need to at least stop at some hello world demo that does nothing than to print to dmesg (or uart) some hello world message. Or at least further than the following shows: http://sourceforge.net/p/genode/discussion/825067/thread/2177b474/ Sorry .... I am still very new to this....:-(. -- Regards, Peter Teoh

2 1

make prepare problem in libports / ports
by Peter Teoh 21 Feb '15

21 Feb '15

libc install include/libc-arm libc install include/libc-arm/machine libdrm extract libdrm-2.4.21.tar.bz2 (libdrm) libiconv extract libiconv-1.14.tar.gz (libiconv) libpng extract libpng-1.4.1.tar.gz (libpng) libpng install include/libpng Error: Hash sum check for libssh failed make[2]: *** [libssh.file] Error 1 make[1]: *** [_install_in_port_dir] Error 2 make: *** [prepare-libssh] Error 2 My host is Ubuntu 14.04 64-bit LTS. I know this is not the recommended platform, but I don't have any existing 12.04 lying around. Is there any patches possible? If someone can provide some guidelines, I can help with creating the patches. Similarly, for ports, "make prepare" gives: /home/tthtlc/Downloads/genode/repos/ports/ports/gcc.port:19: *** Need to have 'autoconf2.64' installed.. Stop. make[1]: *** [_install_in_port_dir] Error 2 make: *** [prepare-gcc] Error 2 -- Regards, Peter Teoh

2 1

make prepare
by Vasily A. Sartakov 21 Feb '15

21 Feb '15

Hello. I am updating old scripts to the latest version of Genode and have problem with make prepare. I have well working (in past) port file, but when I make «make prepare» now I see: [k@...233... newports]$ make prepare PKG=nginx bash: line 0: test: <..>/contrib/nginx-f26242e3bb7c06c88134e5bb2faec65b8e0aafc9: binary operator expected bash: line 0: test: <..>/contrib/nginx-f26242e3bb7c06c88134e5bb2faec65b8e0aafc9: binary operator expected mv: target ‘99f6702d998b775c0039e4666b08bacc577a6787.incomplete’ is not a directory ../../tool/ports/prepare_port:46: recipe for target '_install_in_port_dir' failed make[1]: *** [_install_in_port_dir] Error 1 ../../tool/prepare.mk:36: recipe for target 'prepare-nginx' failed make: *** [prepare-nginx] Error 2 after that I see directory «99f6702d998b775c0039e4666b08bacc577a6787» in my repository directory. But when I rename port file from nginx.port to nginx2.port the «make prepare» command works well… -- Vasily A. Sartakov sartakov@...104...

1 1

How do I get the uImage on to the sdcard?
by Peter Teoh 19 Feb '15

19 Feb '15

sorry, I have followed this: http://sourceforge.net/p/genode/mailman/message/32421676/ http://sourceforge.net/p/genode/mailman/genode -main/thread/9167aa55bacd5e3f00e64168280aef3e%40lcc.uma.es/#msg31683911 Have got the uImage file generated: tool/build_hw_imx53/var/run>tree . └── tz_vmm ├── boot_modules.s ├── image.elf └── uImage but problem is after "sudo dd if=./uImage of=/dev/mmcblk0 bs=1M" onto my sdcard (/dev/mmcblk0) it seemed to bootup with any boot prompts on the console interface. Help? -- Regards, Peter Teoh

1 0

How do I get the uImage on to the sdcard?
by Peter Teoh 19 Feb '15

19 Feb '15

sorry, I have followed this: http://sourceforge.net/p/genode/mailman/message/32421676/ http://sourceforge.net/p/genode/mailman/genode-main/thread/9167aa55bacd5e3f… Have got the uImage file generated: tool/build_hw_imx53/var/run>tree . └── tz_vmm ├── boot_modules.s ├── image.elf └── uImage but problem is after "sudo dd if=./uImage of=/dev/mmcblk0 bs=1M" onto my sdcard (/dev/mmcblk0) it seemed to bootup with any boot prompts on the console interface. Help? -- Regards, Peter Teoh

2 1

Raspberry Pi U-Boot?
by Jeroen "Slim" van Gelderen 19 Feb '15

19 Feb '15

Hi, Does anyone know if Genode can be booted through U-Boot on a Raspberry Pi (model B+)? Cheers, -- Jeroen "Slim" van Gelderen

3 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users