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"
>