Port Genode to Exynos4412

Reinier Millo Sánchez rmillo at ...210...
Tue Jun 16 17:23:55 CEST 2015


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150616/0a329814/attachment.html>
-------------- 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/0a329814/attachment.vcf>


More information about the users mailing list