Re: Port Genode to Exynos4412

Yes I reviewed now at the Makefile and it don't have this line. What GIT revision are you using?

Best regards

On 06/16/2015 12:14 PM, pyl wrote:

Hi That because I have checked the l4/Makefile of fiasco.oc(r47) and the line has been commented,it seems I did it wrong . Have tried to compile with the line remains uncommented,there was a error during compilation:

---

==> "sigma0" built ==> Installing sigma0 to local build-tree make[3]: Leaving directory `/home/pyl/genode-15.05sourceR56CD/build/foc_exynos4/l4/pkg/sigma0/server/src/OBJ-arm_armv7a-l4f' make[2]: Leaving directory `/home/pyl/genode-15.05sourceR56CD/contrib/foc-c2c8105cd296b88e0caa339680a6c6c66d4a1136/src/kernel/foc/l4/pkg/sigma0/server/src' make: Entering an unknown directory make: *** pkg/moe/server/src: No such file or directory. Stop. make: Leaving an unknown directory

---

After duplicated the moe directory from Fiasco.oc(r67) snapshot,there is a error while checking dependencies:

---

Library dependencies missing: libkproxy libloader l4re-util cxx_libc_io libc_be_minimal_log_io libsupc++_minimal in directory '/home/pyl/genode/base-foc/contrib/l4/pkg/moe/server/src'; aborting.

---

How to do it correctly?

Thanks Oliver

在 2015-06-16 23:23:55，"Reinier Millo Sánchez" <rmillo@...210...> 写道：

Hi Oliver

In the patch, you has commented the line:

    +    #PWD=$(PWD)/pkg/moe/server/src    $(MAKE) RAM_BASE=$(1)
    -C pkg/moe/server/src; \

on the l4/Makefile (line 396). In our pathc this line remains
uncommented.
Now we will test your patch.
Is there any reason to comment this line?

Best regards

On 06/16/2015 09:50 AM, pyl wrote:

...

Hi,
We are using Genode15.05 and Fiasco.oc(r67) from Stefan
Kalkowsky,and we have modified Genode15.05 based on
Arndale(exynos5) to supprort odroid-q2.
Another thing is we have tested Fiasco.oc(r67) sucessfully on
odroid-q2,using patch and configuration from Sunyu.But there is a
problem to support Genode+Fiasco.oc on Exynos4412.
Thanks
Oliver



At 2015-06-16 20:09:52, "Reinier Millo Sánchez"<rmillo@...210...>  wrote:
>Hi Oliver
>
>What version of Fiasco.OC (r67) you are using, the versión SVN
>Repository or Stefan Kalkowsky GIT version?
>It seems to compiled fine, but it fails trying to start the application. Stefan Kalkowsky
>When we have ported Fiasco.OC+Genode to the Odroid-X2, we never got that
>error. Can you share your diff patch applied and the configuration used
>to compile Fiasco.OC and L4re?
>
>Best regards
>
>On 06/15/2015 03:16 AM, Oliver wrote:
>> Hi,
>> We want to run gendoe(15.05) with fiasco.oc(R67) on the Exynos4412. I
>> patch the modification that you tell sunyu, but there are some errors.
>> Do I need to modify other configuration, or do you have any idea about
>> the error?
>>
>> This is the log on odroid-q2:
>>
>> Hello from Startup::stage2
>> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>> Number of IRQs available at this GIC: 160
>> FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>> dbl/sngl
>> L2: ID=4100c4c8 Type=1a340340 Aux=7e470001 WMask=ffff S=0
>> L2: Type L2C-310 Size = 1024kB  Ways=16 Waysize=64
>> Watchdog initialized
>> SERIAL ESC: allocated IRQ 85 for serial uart
>> Not using serial hack in slow timer handler.
>> Welcome to Fiasco.OC (arm)!
>> L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
>> Rev: 87c0950-dirty compiled with gcc 4.9.2 for Samsung Exynos []
>> Build: #1 Tue Jun  9 17:14:44 CST 2015
>>
>> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>> Allocate 2688 bytes (3KB) for CPU[4] local storage (offset=1181570,
>> 0xf11ea000-0xf11eaa80)
>> Timer for CPU0 is at IRQ 28
>> Number of CPUs: 4
>> Calibrating timer loop... Per_cpu_data_alloc: (orig:
>> 0xf0068a90-0xf0069510)
>> done.
>> Allocate 2688 bytes (3KB) for CPU[1] local storage (offset=1183570,
>> 0xf11ec000-0xf11eca80)
>> MDB: use page size: 20
>> FPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>> dbl/sngl
>> MDB: use page size: 12
>> Timer for CPU1 is at IRQ 28
>> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>> SCache config: ON
>> IID_PFR[01]:  00001231 00000011G ID_[DA]FR0: 00010444 00000000
>> MID_MMFR[04]: 00100103 20000000 01230000 00102111
>> ACPU[1]: goes to idle loop
>> Allocate 2688 bytes (3KB) for CPU[2] local storage (offset=1162570,
>> 0xf11cb000-0xf11cba80)
>> 0FPU2: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>> dbl/sngl
>> :Timer for CPU2 is at IRQ 28
>>  Cache config: ON
>> HID_PFR[01]:  00001231 00000011e ID_[DA]FR0: 00010444 00000000
>> lID_MMFR[04]: 00100103 20000000 01230000 00102111
>> lCPU[2]: goes to idle loop
>> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>> oAllocate 2688 bytes (3KB) for CPU[3] local storage (offset=1165570,
>> 0xf11ce000-0xf11cea80)
>> !FPU3: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>> dbl/sngl
>>
>> Timer for CPU3 is at IRQ 28
>>  Cache config: ON
>>  ID_PFR[01]:  00001231 00000011K ID_[DA]FR0: 00010444 00000000
>> IID_MMFR[04]: 00100103 20000000 01230000 00102111
>> PCPU[3]: goes to idle loop
>>  @ 40002000
>>   allocated 4KB for maintenance structures
>> SIGMA0: Dump of all resource maps
>> RAM:------------------------
>> [4:40000000;40000fff]
>> [0:4007b000;4008ffff]
>> [0:40097000;4009ffff]
>> [0:400a7000;410fffff]
>> [4:41100000;4118efff]
>> [0:4118f000;800fffff]
>> [4:80100000;80245fff]
>> [0:80246000;bbffffff]
>> IOMEM:----------------------
>> [0:0;3fffffff]
>> [0:bd000000;ffffffff]
>>
>> KIP @ 40002000
>>     magic: 4be6344c
>>   version: 87024444
>>          sigma0  esp: 00000000  eip: 40090100
>>          sigma1  esp: 00000000  eip: 00000000
>>            root  esp: 00000000  eip: 80100000
>> MBI @ 40000000
>>  mod[3] [41100000,41100110) config
>>  mod[4] [41101000,41151c34) init
>>  mod[5] [41152000,4118e518) test-printf
>> :ram_alloc: Allocator 80235ee8 dump:
>>  Block: [4007b000,40090000) size=00015000 avail=00015000
>> max_avail=00015000
>>  Block: [40097000,4009701c) size=0000001c avail=00000000
>> max_avail=00015000
>>  Block: [4009701c,40097038) size=0000001c avail=00000000
>> max_avail=00000000
>>  Block: [40097038,400a0000) size=00008fc8 avail=00008fc8
>> max_avail=00008fc8
>>  Block: [400a7000,400a701c) size=0000001c avail=00000000
>> max_avail=3ef71000
>>  Block: [400a701c,400a7038) size=0000001c avail=00000000
>> max_avail=00000000
>>  Block: [400a7038,41100000) size=01058fc8 avail=01058fc8
>> max_avail=01058fc8
>>  Block: [4118f000,80100000) size=3ef71000 avail=3ef71000
>> max_avail=3ef71000
>>  Block: [80246000,bc000000) size=3bdba000 avail=3bdba000
>> max_avail=3bdba000
>>  => mem_size=2077892608 (1981 MB) / mem_avail=2077892496 (1981 MB)
>> :region_alloc: Allocator 80237058 dump:
>>  Block: [00001000,20000000) size=1ffff000 avail=1ffff000
>> max_avail=1ffff000
>>  Block: [30000000,40000000) size=10000000 avail=10000000
>> max_avail=1ffff000
>>  Block: [40001000,40002000) size=00001000 avail=00001000
>> max_avail=1ffff000
>>  Block: [40003000,4007b000) size=00078000 avail=00078000
>> max_avail=00078000
>>  Block: [40090000,40097000) size=00007000 avail=00007000
>> max_avail=1ffff000
>>  Block: [400a0000,400a7000) size=00007000 avail=00007000
>> max_avail=03ff0000
>>  Block: [bc000000,bfff0000) size=03ff0000 avail=03ff0000
>> max_avail=03ff0000
>>  => mem_size=872898560 (832 MB) / mem_avail=872898560 (832 MB)
>> :io_mem: Allocator 80236344 dump:
>>  Block: [00000000,40000000) size=40000000 avail=40000000
>> max_avail=40000000
>>  Block: [40001000,40002000) size=00001000 avail=00001000
>> max_avail=40000000
>>  Block: [40003000,4007b000) size=00078000 avail=00078000
>> max_avail=00078000
>>  Block: [40090000,40097000) size=00007000 avail=00007000
>> max_avail=00078000
>>  Block: [400a0000,400a7000) size=00007000 avail=00007000
>> max_avail=43ffffff
>>  Block: [bc000000,ffffffff) size=43ffffff avail=43ffffff
>> max_avail=43ffffff
>>  => mem_size=2215145471 (2112 MB) / mem_avail=2215145471 (2112 MB)
>> :io_port: Allocator 802367a0 dump:
>> :irq: Allocator 80236bfc dump:
>>  Block: [00000000,00000260) size=00000260 avail=00000260
>> max_avail=00000260
>>  => mem_size=608 (0 MB) / mem_avail=608 (0 MB)
>> :rom_fs: Rom_fs 8023790c dump:
>>  Rom: [41101000,41151c34) init
>>  Rom: [41100000,41100110) config
>>  Rom: [40002000,40003000) l4v2_kip
>>  Rom: [40002000,40003000) kip
>>  Rom: [41152000,4118e518) test-printf
>> :core ranges: Allocator 8023988c dump:
>>  Block: [4007b000,40090000) size=00015000 avail=00015000
>> max_avail=00015000
>>  Block: [40097000,400a0000) size=00009000 avail=00009000
>> max_avail=7bf59000
>>  Block: [400a7000,bc000000) size=7bf59000 avail=7bf59000
>> max_avail=7bf59000
>>  => mem_size=2079813632 (1983 MB) / mem_avail=2079813632 (1983 MB)
>> Genode 15.05
>> int main(): --- create local services ---
>> int main(): --- start init ---
>> Set ref account, init, targeted session not found
>> Transfer CPU quota, core -> init, no reference relation
>> int main(): transferred 1981 MB to init
>> Could not assign parent interface to new PD
>> unknown exception?
>> int main(): --- init created, waiting for exit condition ---
>>
>>
>> Best regards
>> Oliver
>>
>
>--
>Lic. Reinier Millo Sánchez
>Centro de Estudios de Informática
>Universidad Central "Marta Abreu" de Las Villas
>Carretera a Camajuaní Km 5 1/2
>Santa Clara, Villa Clara, Cuba
>CP 54830
>
>"antes de discutir ... respira;
>   antes de hablar ... escucha;
>  antes de escribir ... piensa;
>   antes de herir ... siente;
>  antes de rendirte ... intenta;
>   antes de morir ... vive"
>

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830

"antes de discutir ... respira;
   antes de hablar ... escucha;
  antes de escribir ... piensa;
   antes de herir ... siente;
  antes de rendirte ... intenta;
   antes de morir ... vive"