Hi, I uncommented the ($BUILDERDIR)\etc\build.conf as shown below:
GENODE_DIR= /home/wss/Desktop/genode
BASE_DIR = $(GENODE_DIR)/repos/base
CONTRIB_DIR = $(GENODE_DIR)/contrib
#
# Prevent Qemu from using KVM
#
# Qemu version that come with major Linux distributions (i.e., Ubuntu)
I'll try it, thank you very much
On Thu, Sep 10, 2015 at 4:42 PM, Stefan Kalkowski <
stefan.kalkow...@genode-labs.com> wrote:
> Hi Ofer,
>
> On 09/10/2015 10:21 AM, Ofer Hasson wrote:
> > Hey,
> >
> > I'm attempting to make a simple reboot feature on Freescale's iMX53-QSB.
> > I'm currently worki
Hi,
On 10.09.2015 21:55, Roger Ferreira wrote:
> Initially it was as big as 256 M, which then I reduced close to 100 M.
>
> But only when I got close to 46 M, like tc-browser.tc, it worked.
>
Did you try to set ramdisk_size on the linux command line ? The default
size according to "scripts/ext
Hi Alex,
First of all thanks for your time and patience.
I struggled with inumerous attempts.
First I checked how you built the tc-browser.gz.
Instead of cpio / gunzip, you did a disk image which I could reproduce with dd
and mkfs.ext2.
But I kept using cpio / gunzip and advdef in the en
I do plan to work with the TrustZone and ultimately run code in a secure world.
Currently I use the i.MX53 QSB connected to my laptop via and USB <->RS232
adapter, for debug.
So, in order to properly run Genode on the board as host is it enough to
proceed with building the toolchain with the boar
João,
I fear that's a misconception...
On Thu, Sep 10, 2015 at 07:22:18PM +0100, João Rocheteau Ramos wrote:
> From reading http://genode.org/documentation/articles/trustzone I
> thought that this board was ideal to use with Genode.
This article describes the i.MX53 as a perfect *target* platfor
Hi Christian,
Yes, the host machine is the Freescale i.MX53 QSB.
The build target is linux_x86, just like it is mentioned in the
'getting_started.txt' contained in the genode directory.
Hm, how can I make this work with the board?
From reading http://genode.org/documentation/articles/trustzone I t
Hello João,
On Thu, Sep 10, 2015 at 06:13:31PM +0100, João Rocheteau Ramos wrote:
> Build on i.MX53 QSB? I didn't understand.
I was referring to the following sentence in your last email
> I'm using an Ubuntu demo image on the Freescale I.MX53 QSB, provided
> by Freescale.
To make myself clear
Build on i.MX53 QSB? I didn't understand.
> Subject: RE: Problem running the demo
> From: christian.helm...@genode-labs.com
> Date: Thu, 10 Sep 2015 18:39:41 +0200
> To: genode-main@lists.sourceforge.net
>
> Hm, am I right that you build *on* i.MX53 QSB not on x86?
> --
> Christian Helmuth
> Ge
Hm, am I right that you build *on* i.MX53 QSB not on x86?
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Hi,
On 10.09.2015 10:33, Josef Söntgen wrote:
> There is a libc (based on FreeBSD 8.2.0) that runs directly on top of
> Genode — no Noux runtime envolved. You will find the backend used
> to complement the libc on Genode in 'repos/libports/src/lib/libc'.
just as a quick follow-up, to use the libc
Hello Mohammad,
On 10.09.2015 16:01, Mohammad Hamad wrote:
> I am trying to send big buffer using RPC call. to do that I used to
> divide the buffer and send it many time . I read about the synchronous
> bulk transfer, by using shared memory with the synchronous RPC. are
> there any samples abou
Hi Christian,
I'm using an Ubuntu demo image on the Freescale I.MX53 QSB, provided by
Freescale.
In my first email, I had already tried the pre-compiled way, extracting the
archive and installing in the /usr/local/genode-gcc directory , using the
command given in http://genode.org/download/tool
Hello João,
On Thu, Sep 10, 2015 at 03:53:23PM +0100, João Rocheteau Ramos wrote:
> "Out of memory: kill process 5132 (gnome-session) score 52875 or a
> childKilled process 5240 (ssh-agent) vsz:2704kB, anon-rss:208kB,
> file-rss:40kBOut of memory: kill process 5132 (gnome-session) score
> 52536 or
Hi Christian,
When I tried building the tool chain using './tool_chain x86' , after a few
minutes the script ended with this error.
After this output:
"Using host-linux.o for host machine hooks.Links are now set up to build a
cross-compiler from armv7l-unknown-linux-gnueabi to x86_64-pc-elf.mkd
Hi,
I am trying to send big buffer using RPC call. to do that I used to divide
the buffer and send it many time . I read about the synchronous bulk
transfer, by using shared memory with the synchronous RPC. are there any
samples about using this method.
best
Hi Ofer,
On 09/10/2015 10:21 AM, Ofer Hasson wrote:
> Hey,
>
> I'm attempting to make a simple reboot feature on Freescale's iMX53-QSB.
> I'm currently working using the tz_vmm example.
> So, I understand that the way to achieve that on this board is through the
> watchdog timer,
> I followed the
Okay, noted. Thanks.
I'll try again maybe with a new USB stick.
Regards.
On Thu, Sep 10, 2015 at 3:48 PM, Alexander Boettcher <
alexander.boettc...@genode-labs.com> wrote:
> Some additional note:
>
> make sure that you remove/uncomment all RUN_OPT in your etc/build.conf
> and really replace it b
Hey,
I'm attempting to make a simple reboot feature on Freescale's iMX53-QSB.
I'm currently working using the tz_vmm example.
So, I understand that the way to achieve that on this board is through the
watchdog timer,
I followed the Linux kernel code that does this, and implemented a kernel
module
Hi Christian,
thanks for the solution!
Greets
Mark
2015-09-10 9:38 GMT+02:00 Christian Helmuth <
christian.helm...@genode-labs.com>:
> Hello Mark,
>
> as desired the patch revealed the cause of your issue - please look
> below.
>
> On Wed, Sep 09, 2015 at 06:04:02PM +0200, Mark Albers wrote:
>
Hallo Kiran,
* kiran kumar [2015-09-10 10:20:50 +0530]:
> I am new to Genode, and wonderning is there any POSIX
> compliant C library which runs on top of genode itself not on noux
> runtime environment, if not available then how I can proceed to port
> any existing posix library to genod
Hi Marcus,
could you please try if
make run/netperf_lwip_bridge or
make run/netperf_lxip_bridge
succeeds? Currently, I have no idea what may break your scenario.
Regards
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈd
Some additional note:
make sure that you remove/uncomment all RUN_OPT in your etc/build.conf
and really replace it by this line:
# Set RUN_OPT in your build.conf to: RUN_OPT = --include image/disk
Otherwise the resulting image is not in the expected state.
Alex.
On 10.09.2015 05:38, Vincent Di
Hello João,
On Thu, Sep 10, 2015 at 01:50:00AM +0100, João Rocheteau Ramos wrote:
> I'm using Genode-15.08 already
This is the Genode OS Framework version. What Ben was referring to is
the tool-chain version. For Genode 15.08 you need the current tool
chain which is 15.05. You have to option to g
Hello Vincent,
On 10.09.2015 05:38, Vincent Digital wrote:
> Hi, Alex,
>
> I've used your USB_RUN script to create an image file.
> I followed your instructions to prepare the USB stick. However, the USB
> stick cannot boot up.
> Unfortunately, I do not have access to a laptop with serial port so
Hello Mark,
as desired the patch revealed the cause of your issue - please look
below.
On Wed, Sep 09, 2015 at 06:04:02PM +0200, Mark Albers wrote:
> ELF-Header:
> Magic: 7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00
> Klasse:ELF32
> Daten:
26 matches
Mail list logo
