Port Genode to Exynos4412

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


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

-- 
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/f8f3c4b0/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/f8f3c4b0/attachment.vcf>


More information about the users mailing list