users

users@lists.genode.org

1 participants
2310 discussions

Running multiple L4Linux scenarios
by Thotheolh Tay 31 Jul '15

31 Jul '15

Hi, Is the current Genode builds in the repository capable of running multiple L4Linux instances above Genode ? I noticed that running the ISO image generated from the builds opens a single L4Linux instance and it would be useful to have an entry point of sorts to reach into the Genode layer to manage the L4Linux instances that runs above it (like launching more instances or deleting instances). What are the directions I have to head into to implement something like a context switcher to move between scenarios if the above mentioned features are not available ? -- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+

1 0

Genode as a mobile operating system
by Nobody III 30 Jul '15

30 Jul '15

One possible target for Genode, aside from PCs and development boards, would be smartphones. The security measures tend to be "don't install this app if you don't want to give it these permissions." With Genode, this problem is easy to fix. Also, security exploits would be a lot harder. It seems to make sense to make a mobile operating system with Genode. We could use Cyanogenmod and/or Android code for app and hardware support. I have an old working android phone that I would be happy to use to test this, and will probably have another available within a few weeks. Note that there are no official Cyanogenmod ports for either device, but there might be an unofficial port for one of them.

4 4

SD card driver in ODROID-X2 (exynos4412)
by Humberto López León 29 Jul '15

29 Jul '15

Hi community, my team and I are working on the implementation of a driver for SD cards in the ODROID-X2 (exynos4412). This driver we want to incorporate into the framework GenodeOS, but we have some doubts in implementation. Below I list a few: 1- We are implementing the controller DWMMC. This is the right controller to handle the SD card in the exynos4412? The SDHCI controller is most appropriate? 2- What exynos4412 SoC base address should be used for handling the SD card? 3- What is the IRQ associated with handling SD tajetas with DWMMC controller? 4- To use the DWMMC controller you need to configure GPIO ports? 5- What clocks should be initialized to handle SD cards? Anybody know any document that describes the initialization process of an SD card? We have been reviewing the implementation of the driver for the SD card in the U-Boot and Linux kernel, but have not resolved the questions above. Thank you for your help !!

1 0

running VirtualBox on Genode
by Daren Sin 29 Jul '15

29 Jul '15

Hi all, I've seen the Genode website, and I noticed that it is possible to run VirtualBox on Genode. I'm currently running Genode on a NOVA hypervisor. What should I do to get VirtualBox running on Genode? Thank you!

5 15

lsusb applet not found
by Thotheolh Tay 29 Jul '15

29 Jul '15

Hi, When I run the 'lsusb' command, it tells me 'lsusb: applet not found' message. How do I solve this ? When I plugin a USB flash drive into the system, I get a weird message. It must be plugged in for the first time into the USB port and after that subsequent USB drives will not spawn the message again. [ 14.935514] Clocksource tsc unstable (delta = 200916449 ns) [ 14.826599] Switching to clocksource l4kipclk I am missing something in the L4Linux/Fiasco.OC build image I made to enable USB support ? Are the clocksource and lsusb messages correlated ?

2 2

Trying out the hello tutorial
by Daren Sin 28 Jul '15

28 Jul '15

Hi everyone! I've been trying out the hello tutorial, and after following the steps in the tutorial ( http://genode.org/documentation/developer-resources/client_server_tutorial), I got stuck at the *./core* step. I got an "Illegal instruction (core dumped)". I can't seem to find a post around here that describes a similar problem. What might be the problem? Correct me if I'm wrong, I'm supposed to have a *config* file in the */build/bin* directory, but since there wasn't one at first, I created a new document and put in the necessary code, as described on the website. Cheers Daren

2 1

Transform native Genode port of lua library into an application for Genode's Noux runtime
by Rolf Sommerhalder 27 Jul '15

27 Jul '15

Hello list, Before attempting to do a port of LuaJIT as an additional application for Genode's Noux runtime, in a first step, I try to transform the existing port of Lua from a native Genode library to a "Noux package" (noux-pkg). The native Genode application moon(-tool) uses the existing port of the Lua library as a Lua extension of "C", whereas I would like to use the Lua and LuaJIT interpreters interactively from a bash shell with terminal. Thus, I have created lua0.port, lua0.hash (see below) and got its source tree into contrib/ ./prepare_port lua0 CHECK_HASH=no Note that I chose to name the noux-pkg "lua0" in order to clearly differentiate it from the existing library "lua". Currently, I struggle with the Noux build tool which insists on calling configure, whereas the library port tool seems not to call configure, but simply makes repos/libports/lib/mk/lua.mk . What would be the recommended way forward, e.g. is there a way to disable the Autotools/configure step in my lua0/target.mk, or to create an "empty" configure script using a patch for example? Thanks, Rolf --- cat repos/ports/src/noux-pkg/lua0/target.mk # ported from repos/portslibs/lib/mk/lua.inc | lua.mk TARGET = lua0 LUA_DIR := $(call select_from_ports,lua0)/src/noux-pkg/lua0/src LIBS += libc libm #LIBS += libc libm libreadline libdl INC_DIR += $(LUA_DIR) CC_DEF = -DLUA_ANSI -DLUA_USE_MKSTEMP #NOUX_CFLAGS += -DLUA_ANSI -DLUA_USE_MKSTEMP # core objects LUA_CORE_C = lapi.c lcode.c ldebug.c ldo.c ldump.c lfunc.c lgc.c llex.c lmem.c \ lobject.c lopcodes.c lparser.c lstate.c lstring.c ltable.c ltm.c \ lundump.c lvm.c lzio.c # library objects, e.g. string handling LUA_LIB_C = lauxlib.c lbaselib.c ldblib.c liolib.c lmathlib.c loslib.c ltablib.c \ lstrlib.c loadlib.c linit.c vpath %.c $(LUA_DIR) SRC_C = $(LUA_CORE_C) $(LUA_LIB_C) noux_built.tag: Makefile --- build/linux_x86$ make VERBOSE= noux-pkg/lua0 checking library dependencies... Library platform Library libc-locale Library libc-stdlib Library libc-string Library libc-stdio Library libc-inet Library libc-gdtoa Library libc-stdtime Library libc-regex Library libc-compat Library cxx Library syscall Library config Library libc-setjmp Library alarm Library ldso-startup Library startup Library timed_semaphore Library libc-gen Library base-common Library base Library ld Library vfs Library libc Library libc_noux Library libm /home/rs/nizwa2/genode/master/repos/base/mk/prg.mk:208: warning: overriding commands for target `lua0' /home/rs/nizwa2/genode/master/repos/ports/mk/noux.mk:171: warning: ignoring old commands for target `lua0' Program noux-pkg/lua0/lua0 CONFIG lua0 source noux_env.sh && /home/rs/nizwa2/genode/master/contrib/lua0-dummy/src/noux-pkg/lua0/configure --host x86_64-pc-elf --srcdir=/home/rs/nizwa2/genode/master/contrib/lua0-dummy/src/noux-pkg/lua0 --prefix / --build x86-linux BUILD lua0 source noux_env.sh && make V=1 MAN= make[3]: *** No targets specified and no makefile found. Stop. make[2]: *** [noux_built.tag] Error 2 make[1]: *** [lua0.prg] Error 2 make: *** [gen_deps_and_build_targets] Error 2 --- cat repos/ports/ports/lua0.port LICENSE := MIT #VERSION := 5.1.5 VERSION := 5.3.1 DOWNLOADS := lua0.archive URL(lua0) := http://www.lua.org/ftp/lua-$(VERSION).tar.gz #SHA(lua0) := b3882111ad02ecc6b972f8c1241647905cb2e3fc SHA(lua0) := 1676c6a041d90b6982db8cef1e5fb26000ab6dee SIG(lua0) := ${URL(lua0)}.sig KEY(lua0) := GNU DIR(lua0) := src/noux-pkg/lua0 --- cat repos/ports/ports$ cat lua0.hash dummy

1 1

Chaos Communication Camp in August
by Norman Feske 26 Jul '15

26 Jul '15

Hello, does anyone of you consider attending the Chaos Communication Camp [1] this year? I know that Stefan will be there. I'm still on undecided. The chance to meet others from the Genode community would ultimately convince me to join in. :-) [1] https://events.ccc.de/tag/chaos-communication-camp/ 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 4

Security compartmentalisation
by Thotheolh Tay 26 Jul '15

26 Jul '15

Hi, I would like some help understanding the below described scenario. An L4Linux/Genode/Fiasco.OC is used as the secure environment. If a malware is executed on a process thread on the L4Linux layer, say to scrape the L4Linux to do memory dumps or to access the filesystem for crypto key files, how will the above setup protect against a malicious process thread ? An example being a PGP email crypto program running on a process thread with another process thread infected by a malware. Thanks & Regards, Thoth.

3 3

RE: USB armory USB driver - porting
by Vladimir Lushnikov 24 Jul '15

24 Jul '15

Hello all, It has taken a lot longer than I hoped initially, but I have some progress to report on the USB driver port for the USB armory. The current state is that the controller bringup looks like it *does something* but the functionality (and device hotplugging) does not work. My current code is in here: https://github.com/vladimir-lu/genode/tree/issue/imx53_usb_host_staging As I mentioned, upon hotplugging a device (tested with a memory stick and of course the official host adapter) - there seems to be no log activity, but when the memory stick is plugged in from boot time it at least recognises that there is something connected to the port. The two log files are here: https://gist.github.com/anonymous/101496bdfb266b460e51 The relevant line in the log is: [init -> usb_drv] dev_dbg: state 7 ports 1 chg 0002 evt 0000 vs (in the non-recognised case) [init -> usb_drv] dev_dbg: state 7 ports 1 chg 0000 evt 0000 I do not have any good ideas at the moment where to go next with debugging this problem - can anyone suggest places to look? I guessed that the issue is in the clock setup, but writing to the Usboh3_60M and Usbphy1 in Ccgr2 and Ccgr4 respectively does not seem to make any difference. The usb phy has no tranceiver on this platform so does not need enabling. The OTG port is being used for host mode. As you may notice, the platform.cc now contains a few header definitions + functions that I copy+pasted from the wifi driver but did not want to put in lx_emul.cc - is that correct or should I just stick them in linux_emul.cc for all to use? I have also run the input-test and that does not print any events received. One interesting line comes out after a few seconds however: [init -> usb_drv] dev_dbg: debounce: port 1: total 2000ms stable 0ms status 0x401 I want to get host mode working before I start with the OTG + gadget porting (there is some diff primarily in the OTG stuff between 3.14.5 and 4.0 so I am not sure how much of 3.14.5 will actually "work" without getting a 3.14.5 kernel running on the armory first...) Kind regards, Vladimir

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users