Port Genode to Exynos4412

Reinier Millo Sánchez rmillo at ...210...
Tue Jun 16 14:09:52 CEST 2015


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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 517 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150616/1c083f04/attachment.vcf>


More information about the users mailing list