Test to read files from the elf image and a USB. Configure file system.

2016-02-11 Thread Humberto López León
Hello Genode community,

I'm working on porting an application on Genode where I need to upload 
files from the elf image and from a storage device , such as a USB . 
Currently I can read the file of the USB using the libffat library and 
the server/ffat_fs, but in this case I can not load the file from elf 
image. I think the problem lies in the configuration of < vfs > .
  Any ideas to solve my problem ?

Thank you

This is my run script

set build_components {
 core init
 drivers/timer
 server/ffat_fs
 test/libc_ffat_usb
}
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components

build $build_components

create_boot_directory

#
# Generate config
#

set config {

 
 
 
 
 
 
 
 
 
 
 
 
 
 

 
}

append_platform_drv_config

append config {
 
 
 
 
}

append_if [have_spec gpio] config {
 
 
 
 
 }

append config {

 
   
  
 
 
   
   
 
 
 
 
 
 
 
   
 
 
 
 
 

}

install_config $config

set boot_modules {
 core init timer
 ld.lib.so
 libc.lib.so
 ffat_fs
 test-libc_ffat_usb
 test2.txt
}

lappend_if [have_spec usb]   boot_modules usb_drv
lappend_if [have_spec gpio]  boot_modules gpio_drv

append_platform_drv_boot_modules

build_boot_image $boot_modules

run_genode_until forever

--
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Running demo on Virtualbox

2016-02-11 Thread Paulo
It was a silly thing after all: I was expecting run/demo to run X
itself or run on framebuffer somehow, so I didn't actually have X
started.
Starting X and doing `DISPLAY=:0 make run/demo` did it.
I'll move on to actually writing code now.

Thanks!
/Paulo


On Thu, Feb 11, 2016 at 10:06 AM, Sebastian Sumpf
 wrote:
> Hi Paulo,
>
> On 02/10/2016 05:30 PM, Paulo wrote:
>> Hi Sebastian,
>>
>> Thanks for the feedback.
>>
>>> Currently Genode outputs some error messages that might be misleading,
>>> but are necessary for us developers. "Quota exceeded!" is one of them.
>>> This means the configured component or program memory quota in Genode's
>>> 'config' file does not suffice, such a program will then ask its parent
>>> (in this case 'init') for more memory, which is successful in your case
>>> ('upgrading quota donation').
>>
>> Ok, I didn't notice the "upgrading quota", that does make sense.
>>
>>> One can configure 'fb_sdl' via a ROM file and there are many ways to
>>> provide one. Nevertheless, this 'config' is not mandatory and 'fb_sdl'
>>> will also function without it. So, I can see no problems in the Log you
>>> provided. Therefore, I will attach a working output. Please let me know
>>> at what point your output differs. Also, what Linux version are you
>>> using in your VirtualBox setup? Information about the distribution,
>>> kernel version, and if it is 32 or 64 bit helps us a lot.
>>>
 Also, I can't seem to find instructions for building an ISO. Is that
 possible?
>>>
>>> Yes, add '--include image/iso' to the 'RUN_OPT' variable in
>>> /etc/build.conf The ISO will in your case be located under
>>> /var/run/demo.iso
>>
>> I'm using ubuntu 15.10 (I didn't see the suggestion to use an LTS
>> version in time). I'm using the 15-05 genode fundations pdf as a
>> guide, particularly page 27. I probably need to read some more to get
>> a better grasp of some concepts, but meanwhile please bear with me. I
>> did:
>>
>> ./tool/ports/prepare_port nova && ./tool/ports/prepare_port x86emu
>> ./tool/create_builddir nova_x86_64 &&  cd build/nova_x86_64
>> sed -r 's/^#(REPOSITORIES.*libports)/\1/g' -i etc/build.conf
>> (cd ../../repos/libports && make prepare) # as suggested on etc/build.conf
>> make run/demo
>>
>> The iso file is created at this point, and I'm able to boot the VM
>> with it and see the demo in action, but qemu refuses to run (please
>> see the attached full  output), because:
>>
>> spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial
>> mon:stdio -cdrom var/run/demo.iso
>> Could not initialize SDL(No available video device) - exiting
>
>
>> What is the "No available video device" about? I can do `startx` and
>> get lxde running, so I don't think it's a virtualbox "hardware" issue.
>> What step am I missing?
>
> Qemu requires SDL for the display. Please add:
>
> QEMU_OPT += -sdl
>
> to your build.conf file that should fix the issue.
>
>> By the way, the `make prepare` for libports is only suggested in
>> etc/build.conf; it might be helpful to include it on the instructions
>> for the "simple system scenario" on the book.
>>
>
> Thanks for the suggestion,
>
> Sebastian
>
> --
> Sebastian Sumpf
> 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
>
>
>
>
> --
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

--
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Running demo on Virtualbox

2016-02-11 Thread Sebastian Sumpf
Hi Paulo,

On 02/10/2016 05:30 PM, Paulo wrote:
> Hi Sebastian,
> 
> Thanks for the feedback.
> 
>> Currently Genode outputs some error messages that might be misleading,
>> but are necessary for us developers. "Quota exceeded!" is one of them.
>> This means the configured component or program memory quota in Genode's
>> 'config' file does not suffice, such a program will then ask its parent
>> (in this case 'init') for more memory, which is successful in your case
>> ('upgrading quota donation').
> 
> Ok, I didn't notice the "upgrading quota", that does make sense.
> 
>> One can configure 'fb_sdl' via a ROM file and there are many ways to
>> provide one. Nevertheless, this 'config' is not mandatory and 'fb_sdl'
>> will also function without it. So, I can see no problems in the Log you
>> provided. Therefore, I will attach a working output. Please let me know
>> at what point your output differs. Also, what Linux version are you
>> using in your VirtualBox setup? Information about the distribution,
>> kernel version, and if it is 32 or 64 bit helps us a lot.
>>
>>> Also, I can't seem to find instructions for building an ISO. Is that
>>> possible?
>>
>> Yes, add '--include image/iso' to the 'RUN_OPT' variable in
>> /etc/build.conf The ISO will in your case be located under
>> /var/run/demo.iso
> 
> I'm using ubuntu 15.10 (I didn't see the suggestion to use an LTS
> version in time). I'm using the 15-05 genode fundations pdf as a
> guide, particularly page 27. I probably need to read some more to get
> a better grasp of some concepts, but meanwhile please bear with me. I
> did:
> 
> ./tool/ports/prepare_port nova && ./tool/ports/prepare_port x86emu
> ./tool/create_builddir nova_x86_64 &&  cd build/nova_x86_64
> sed -r 's/^#(REPOSITORIES.*libports)/\1/g' -i etc/build.conf
> (cd ../../repos/libports && make prepare) # as suggested on etc/build.conf
> make run/demo
> 
> The iso file is created at this point, and I'm able to boot the VM
> with it and see the demo in action, but qemu refuses to run (please
> see the attached full  output), because:
> 
> spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial
> mon:stdio -cdrom var/run/demo.iso
> Could not initialize SDL(No available video device) - exiting


> What is the "No available video device" about? I can do `startx` and
> get lxde running, so I don't think it's a virtualbox "hardware" issue.
> What step am I missing?

Qemu requires SDL for the display. Please add:

QEMU_OPT += -sdl

to your build.conf file that should fix the issue.

> By the way, the `make prepare` for libports is only suggested in
> etc/build.conf; it might be helpful to include it on the instructions
> for the "simple system scenario" on the book.
> 

Thanks for the suggestion,

Sebastian

-- 
Sebastian Sumpf
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




--
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Issue in ACPI parsing code

2016-02-11 Thread Alexander Boettcher
Hello,


On 09.02.2016 19:37, Tomasz Gajewski wrote:
> I've found a problem in acpi.cc that caused not parsing acpi tables
> properly on my pc. The problem is that there is an incomplete check for
> usability of xsdt table. According to some documentation on the net
> value 0 in revision entry in rsdp means that this is acpi 1.0 and xsdt
> table is not available but this was not checked.

thanks for your findings. Please open at github [0] a issue report, so
that your patch can be added to genode/master (see also [1]).

Cheers,

Alex.

[0] http://github.com/genodelabs/genode/issues
[1] http://www.genode.org/community/contributions

> 
> Attached patch fixed this issue for me.
> 
> 
> 
> --
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
> 
> 
> 
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 


--
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main