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
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"
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"
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"
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"
Follow this URL:https://github.com/skalk/foc ,the revision 67.So is my problem caused by the line? Regards Oliver
At 2015-06-17 00:23:21, "Reinier Millo Sánchez" <rmillo@...210...> wrote: 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"
I don't think that the line is causing the troubles. What version of Genode are you using? We are using the Stefan Kalkowski commit (87c0950909290b96e331cf7f94cc2ff6d93c1d05) We are using the GenodeLabs 15.05, but with a patch applied by Stefan Kalkowsky to support the Fiasco.OC(r67) compilation on Genode. You can also use the Stefan Kalkowski repository for Genode. You are using the Stefan Kalkowski patch?
Best regards
On 06/16/2015 12:40 PM, pyl wrote:
Follow this URL:https://github.com/skalk/foc https://github.com/skalk/foc%EF%BC%8Cthe ,the revision 67.So is my problem caused by the line? Regards Oliver
At 2015-06-17 00:23:21, "Reinier Millo Sánchez" <rmillo@...210...> wrote:
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"-- 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"
The same version of Fiasco.oc&Genode.But I don't know about the patch,where is it?Haven't you met those problems with the line remains uncommented? Regards Oliver
At 2015-06-17 00:48:25, "Reinier Millo Sánchez" <rmillo@...210...> wrote: I don't think that the line is causing the troubles. What version of Genode are you using? We are using the Stefan Kalkowski commit (87c0950909290b96e331cf7f94cc2ff6d93c1d05) We are using the GenodeLabs 15.05, but with a patch applied by Stefan Kalkowsky to support the Fiasco.OC(r67) compilation on Genode. You can also use the Stefan Kalkowski repository for Genode. You are using the Stefan Kalkowski patch?
Best regards
On 06/16/2015 12:40 PM, pyl wrote:
Follow this URL:https://github.com/skalk/foc ,the revision 67.So is my problem caused by the line? Regards Oliver
At 2015-06-17 00:23:21, "Reinier Millo Sánchez" <rmillo@...210...> wrote: 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"
This is the patch that i have applied from Stefan Kalkowski
From 87431b0c7627380e954b74b332735361e3e86411 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski <stefan.kalkowski@...1...> Date: Tue, 20 Jan 2015 10:51:32 +0100 Subject: [PATCH] foc: update to revision 67
Conflicts: repos/base-foc/ports/foc.hash repos/base-foc/ports/foc.port --- repos/base-foc/config/panda.kernel | 19 +++++++++++------- repos/base-foc/config/panda.user | 35 ++++++++++++++++++--------------- repos/base-foc/config/x86_32.kernel | 5 +++-- repos/base-foc/config/x86_32.user | 3 +-- repos/base-foc/lib/mk/l4re_support.mk | 2 +- repos/base-foc/ports/foc.hash | 2 +- repos/base-foc/ports/foc.port | 4 ++-- 7 files changed, 39 insertions(+), 31 deletions(-)
diff --git a/repos/base-foc/config/panda.kernel b/repos/base-foc/config/panda.kernel index e430efb..2eeccea 100644 --- a/repos/base-foc/config/panda.kernel +++ b/repos/base-foc/config/panda.kernel @@ -9,22 +9,25 @@ # CONFIG_IA32 is not set # CONFIG_AMD64 is not set CONFIG_ARM=y -# CONFIG_PF_IMX is not set +# CONFIG_PF_XSCALE is not set +# CONFIG_PF_INTEGRATOR is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_SA1100 is not set +# CONFIG_PF_ZYNQ is not set # CONFIG_PF_REALVIEW is not set -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA is not set CONFIG_PF_OMAP=y -# CONFIG_PF_SA1100 is not set -# CONFIG_PF_XSCALE is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_SUNXI is not set +# CONFIG_PF_S3C2410 is not set # CONFIG_PF_EXYNOS is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_INTEGRATOR is not set +# CONFIG_PF_IMX is not set # CONFIG_PF_BCM2835 is not set CONFIG_BSP_NAME="omap" # CONFIG_PF_OMAP3_OMAP35XEVM is not set # CONFIG_PF_OMAP3_BEAGLEBOARD is not set # CONFIG_PF_OMAP3_AM33XX is not set CONFIG_PF_OMAP4_PANDABOARD=y +# CONFIG_PF_OMAP5_5432EVM is not set CONFIG_ABI_VF=y CONFIG_PF_ARM_MP_CAPABLE=y CONFIG_CAN_ARM_CPU_CORTEX_A9=y @@ -44,6 +47,7 @@ CONFIG_FPU=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 +# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y @@ -65,6 +69,7 @@ CONFIG_JDB=y CONFIG_JDB_LOGGING=y # CONFIG_JDB_DISASM is not set # CONFIG_JDB_GZIP is not set +# CONFIG_JDB_ACCOUNTING is not set # CONFIG_VMEM_ALLOC_TEST is not set # CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set # CONFIG_WARN_NONE is not set diff --git a/repos/base-foc/config/panda.user b/repos/base-foc/config/panda.user index 331fa80..fa66c2b 100644 --- a/repos/base-foc/config/panda.user +++ b/repos/base-foc/config/panda.user @@ -23,27 +23,30 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_imx53 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set # CONFIG_PLATFORM_TYPE_exynos5 is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -CONFIG_PLATFORM_TYPE_pandaboard=y -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set # CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_integrator is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set # CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_omap5 is not set +CONFIG_PLATFORM_TYPE_pandaboard=y +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set # CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set # CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -# CONFIG_PLATFORM_TYPE_integrator is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pandaboard" # CONFIG_USE_DROPS_STDDIR is not set @@ -64,7 +67,7 @@ CONFIG_INT_CPP_NAME_SWITCH=y CONFIG_INT_LD_NAME_SWITCH=y # CONFIG_BID_STRIP_PROGS is not set # CONFIG_BID_GCC_OMIT_FP is not set -# CONFIG_BID_GENERATE_MAPFILE is not set +# CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR is not set # CONFIG_BID_BUILD_DOC is not set # CONFIG_RELEASE_MODE is not set CONFIG_MAKECONFS_ADD="" diff --git a/repos/base-foc/config/x86_32.kernel b/repos/base-foc/config/x86_32.kernel index 06e7428..148162a 100644 --- a/repos/base-foc/config/x86_32.kernel +++ b/repos/base-foc/config/x86_32.kernel @@ -20,6 +20,7 @@ CONFIG_IA32_586=y # CONFIG_IA32_P4 is not set # CONFIG_IA32_PM is not set # CONFIG_IA32_CORE2 is not set +# CONFIG_IA32_CORE_I is not set # CONFIG_IA32_ATOM is not set # CONFIG_IA32_K6 is not set # CONFIG_IA32_K7 is not set @@ -35,6 +36,7 @@ CONFIG_REGPARM3=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 +# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_SYNC_TSC is not set # CONFIG_FINE_GRAINED_CPUTIME is not set @@ -46,7 +48,7 @@ CONFIG_VIRT_OBJ_SPACE=y # CONFIG_INLINE=y # CONFIG_NDEBUG is not set -CONFIG_NO_FRAME_PTR=y +# CONFIG_NO_FRAME_PTR is not set # CONFIG_STACK_DEPTH is not set # CONFIG_LIST_ALLOC_SANITY is not set # CONFIG_BEFORE_IRET_SANITY is not set @@ -60,7 +62,6 @@ CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_JDB_MISC is not set CONFIG_POWERSAVE_GETCHAR=y -CONFIG_USER_SINGLE_STEP=y # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y # CONFIG_WARN_ANY is not set diff --git a/repos/base-foc/config/x86_32.user b/repos/base-foc/config/x86_32.user index 472d9f6..bb663c5 100644 --- a/repos/base-foc/config/x86_32.user +++ b/repos/base-foc/config/x86_32.user @@ -29,7 +29,6 @@ CONFIG_CPU_X86_586=y # CONFIG_CPU_X86_K10 is not set # CONFIG_CPU_X86_OPTERON is not set CONFIG_CPU="586" -# CONFIG_PLATFORM_TYPE_imx53 is not set CONFIG_PLATFORM_TYPE_pc=y # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pc" @@ -51,7 +50,7 @@ CONFIG_INT_CPP_NAME_SWITCH=y CONFIG_INT_LD_NAME_SWITCH=y # CONFIG_BID_STRIP_PROGS is not set # CONFIG_BID_GCC_OMIT_FP is not set -# CONFIG_BID_GENERATE_MAPFILE is not set +# CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR is not set # CONFIG_BID_BUILD_DOC is not set # CONFIG_RELEASE_MODE is not set CONFIG_MAKECONFS_ADD="" diff --git a/repos/base-foc/lib/mk/l4re_support.mk b/repos/base-foc/lib/mk/l4re_support.mk index 8058093..108ec4a 100644 --- a/repos/base-foc/lib/mk/l4re_support.mk +++ b/repos/base-foc/lib/mk/l4re_support.mk @@ -6,7 +6,7 @@ ifeq ($(called_from_lib_mk),yes)
# packages in 'l4/pkg/' -PKGS = uclibc-headers uclibc-minimal l4util cxx +PKGS = crtn uclibc-headers l4util cxx uclibc-minimal libstdc++-headers
include $(REP_DIR)/mk/l4_pkg.mk all: $(PKG_TAGS) diff --git a/repos/base-foc/ports/foc.hash b/repos/base-foc/ports/foc.hash index 406d465..427e996 100644 --- a/repos/base-foc/ports/foc.hash +++ b/repos/base-foc/ports/foc.hash @@ -1 +1 @@ -36d581339a3195fd8969d7fc5efbdbd61ed878d3 +132a29f37b63a3ca0271e06f561591be57ff6934 diff --git a/repos/base-foc/ports/foc.port b/repos/base-foc/ports/foc.port index dbf50c1..a2bd036 100644 --- a/repos/base-foc/ports/foc.port +++ b/repos/base-foc/ports/foc.port @@ -1,6 +1,6 @@ LICENSE := GPLv2 VERSION := git DOWNLOADS := foc.git -URL(foc) := git@...338...:soe/foc.git -REV(foc) := devel +URL(foc) := https://github.com/skalk/foc.git +REV(foc) := 42b22226ad34b27c689786e53513ec6b2098ea15 DIR(foc) := src/kernel/foc -- 1.7.10.4
Best regards
On 06/16/2015 01:03 PM, pyl wrote:
The same version of Fiasco.oc&Genode.But I don't know about the patch,where is it?Haven't you met those problems with the line remains uncommented? Regards Oliver
At 2015-06-17 00:48:25, "Reinier Millo Sánchez" <rmillo@...210...> wrote:
I don't think that the line is causing the troubles. What version of Genode are you using? We are using the Stefan Kalkowski commit (87c0950909290b96e331cf7f94cc2ff6d93c1d05) We are using the GenodeLabs 15.05, but with a patch applied by Stefan Kalkowsky to support the Fiasco.OC(r67) compilation on Genode. You can also use the Stefan Kalkowski repository for Genode. You are using the Stefan Kalkowski patch? Best regards On 06/16/2015 12:40 PM, pyl wrote:Follow this URL:https://github.com/skalk/foc <https://github.com/skalk/foc%EF%BC%8Cthe> ,the revision 67.So is my problem caused by the line? Regards Oliver At 2015-06-17 00:23:21, "Reinier Millo Sánchez" <rmillo@...210...> wrote: 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"-- 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"
Hi, Thanks! We have run printf sucessfully on odroid, because we change the version of foc(https://github.com/skalk/foc/tree/r67 commit 42b22226ad34b27c689786e53513ec6b2098ea15).
Thanks again Oliver
At 2015-06-17 02:10:37, "Reinier Millo Sánchez" <rmillo@...210...> wrote: This is the patch that i have applied from Stefan Kalkowski
From 87431b0c7627380e954b74b332735361e3e86411 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski <stefan.kalkowski@...1...> Date: Tue, 20 Jan 2015 10:51:32 +0100 Subject: [PATCH] foc: update to revision 67
Conflicts: repos/base-foc/ports/foc.hash repos/base-foc/ports/foc.port --- repos/base-foc/config/panda.kernel | 19 +++++++++++------- repos/base-foc/config/panda.user | 35 ++++++++++++++++++--------------- repos/base-foc/config/x86_32.kernel | 5 +++-- repos/base-foc/config/x86_32.user | 3 +-- repos/base-foc/lib/mk/l4re_support.mk | 2 +- repos/base-foc/ports/foc.hash | 2 +- repos/base-foc/ports/foc.port | 4 ++-- 7 files changed, 39 insertions(+), 31 deletions(-)
diff --git a/repos/base-foc/config/panda.kernel b/repos/base-foc/config/panda.kernel index e430efb..2eeccea 100644 --- a/repos/base-foc/config/panda.kernel +++ b/repos/base-foc/config/panda.kernel @@ -9,22 +9,25 @@ # CONFIG_IA32 is not set # CONFIG_AMD64 is not set CONFIG_ARM=y -# CONFIG_PF_IMX is not set +# CONFIG_PF_XSCALE is not set +# CONFIG_PF_INTEGRATOR is not set +# CONFIG_PF_KIRKWOOD is not set +# CONFIG_PF_SA1100 is not set +# CONFIG_PF_ZYNQ is not set # CONFIG_PF_REALVIEW is not set -# CONFIG_PF_S3C2410 is not set -# CONFIG_PF_TEGRA is not set CONFIG_PF_OMAP=y -# CONFIG_PF_SA1100 is not set -# CONFIG_PF_XSCALE is not set +# CONFIG_PF_TEGRA is not set +# CONFIG_PF_SUNXI is not set +# CONFIG_PF_S3C2410 is not set # CONFIG_PF_EXYNOS is not set -# CONFIG_PF_KIRKWOOD is not set -# CONFIG_PF_INTEGRATOR is not set +# CONFIG_PF_IMX is not set # CONFIG_PF_BCM2835 is not set CONFIG_BSP_NAME="omap" # CONFIG_PF_OMAP3_OMAP35XEVM is not set # CONFIG_PF_OMAP3_BEAGLEBOARD is not set # CONFIG_PF_OMAP3_AM33XX is not set CONFIG_PF_OMAP4_PANDABOARD=y +# CONFIG_PF_OMAP5_5432EVM is not set CONFIG_ABI_VF=y CONFIG_PF_ARM_MP_CAPABLE=y CONFIG_CAN_ARM_CPU_CORTEX_A9=y @@ -44,6 +47,7 @@ CONFIG_FPU=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 +# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y @@ -65,6 +69,7 @@ CONFIG_JDB=y CONFIG_JDB_LOGGING=y # CONFIG_JDB_DISASM is not set # CONFIG_JDB_GZIP is not set +# CONFIG_JDB_ACCOUNTING is not set # CONFIG_VMEM_ALLOC_TEST is not set # CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set # CONFIG_WARN_NONE is not set diff --git a/repos/base-foc/config/panda.user b/repos/base-foc/config/panda.user index 331fa80..fa66c2b 100644 --- a/repos/base-foc/config/panda.user +++ b/repos/base-foc/config/panda.user @@ -23,27 +23,30 @@ CONFIG_CPU_ARM_ARMV7A=y # CONFIG_CPU_ARM_ARMV7R is not set CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y -# CONFIG_PLATFORM_TYPE_imx53 is not set -# CONFIG_PLATFORM_TYPE_imx35 is not set -# CONFIG_PLATFORM_TYPE_rv_pbx is not set +# CONFIG_PLATFORM_TYPE_beagleboard is not set +# CONFIG_PLATFORM_TYPE_cubieboard2 is not set +# CONFIG_PLATFORM_TYPE_exynos4 is not set # CONFIG_PLATFORM_TYPE_exynos5 is not set -# CONFIG_PLATFORM_TYPE_rv is not set -# CONFIG_PLATFORM_TYPE_kirkwood is not set -CONFIG_PLATFORM_TYPE_pandaboard=y -# CONFIG_PLATFORM_TYPE_tegra3 is not set -# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_imx21 is not set +# CONFIG_PLATFORM_TYPE_imx35 is not set +# CONFIG_PLATFORM_TYPE_imx51 is not set # CONFIG_PLATFORM_TYPE_imx6 is not set -# CONFIG_PLATFORM_TYPE_exynos4 is not set +# CONFIG_PLATFORM_TYPE_integrator is not set +# CONFIG_PLATFORM_TYPE_kirkwood is not set # CONFIG_PLATFORM_TYPE_omap3_am33xx is not set +# CONFIG_PLATFORM_TYPE_omap3evm is not set +# CONFIG_PLATFORM_TYPE_omap5 is not set +CONFIG_PLATFORM_TYPE_pandaboard=y +# CONFIG_PLATFORM_TYPE_parallella is not set +# CONFIG_PLATFORM_TYPE_rpi_a is not set # CONFIG_PLATFORM_TYPE_rpi_b is not set +# CONFIG_PLATFORM_TYPE_rv is not set +# CONFIG_PLATFORM_TYPE_rv_pbx is not set # CONFIG_PLATFORM_TYPE_rv_vexpress_a15 is not set -# CONFIG_PLATFORM_TYPE_imx51 is not set -# CONFIG_PLATFORM_TYPE_omap3evm is not set -# CONFIG_PLATFORM_TYPE_beagleboard is not set -# CONFIG_PLATFORM_TYPE_imx21 is not set # CONFIG_PLATFORM_TYPE_rv_vexpress is not set -# CONFIG_PLATFORM_TYPE_rpi_a is not set -# CONFIG_PLATFORM_TYPE_integrator is not set +# CONFIG_PLATFORM_TYPE_tegra2 is not set +# CONFIG_PLATFORM_TYPE_tegra3 is not set +# CONFIG_PLATFORM_TYPE_zedboard is not set # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pandaboard" # CONFIG_USE_DROPS_STDDIR is not set @@ -64,7 +67,7 @@ CONFIG_INT_CPP_NAME_SWITCH=y CONFIG_INT_LD_NAME_SWITCH=y # CONFIG_BID_STRIP_PROGS is not set # CONFIG_BID_GCC_OMIT_FP is not set -# CONFIG_BID_GENERATE_MAPFILE is not set +# CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR is not set # CONFIG_BID_BUILD_DOC is not set # CONFIG_RELEASE_MODE is not set CONFIG_MAKECONFS_ADD="" diff --git a/repos/base-foc/config/x86_32.kernel b/repos/base-foc/config/x86_32.kernel index 06e7428..148162a 100644 --- a/repos/base-foc/config/x86_32.kernel +++ b/repos/base-foc/config/x86_32.kernel @@ -20,6 +20,7 @@ CONFIG_IA32_586=y # CONFIG_IA32_P4 is not set # CONFIG_IA32_PM is not set # CONFIG_IA32_CORE2 is not set +# CONFIG_IA32_CORE_I is not set # CONFIG_IA32_ATOM is not set # CONFIG_IA32_K6 is not set # CONFIG_IA32_K7 is not set @@ -35,6 +36,7 @@ CONFIG_REGPARM3=y # CONFIG_MP=y CONFIG_MP_MAX_CPUS=4 +# CONFIG_CONTEXT_8K is not set CONFIG_CONTEXT_4K=y # CONFIG_SYNC_TSC is not set # CONFIG_FINE_GRAINED_CPUTIME is not set @@ -46,7 +48,7 @@ CONFIG_VIRT_OBJ_SPACE=y # CONFIG_INLINE=y # CONFIG_NDEBUG is not set -CONFIG_NO_FRAME_PTR=y +# CONFIG_NO_FRAME_PTR is not set # CONFIG_STACK_DEPTH is not set # CONFIG_LIST_ALLOC_SANITY is not set # CONFIG_BEFORE_IRET_SANITY is not set @@ -60,7 +62,6 @@ CONFIG_JDB_GZIP=y # CONFIG_JDB_ACCOUNTING is not set # CONFIG_JDB_MISC is not set CONFIG_POWERSAVE_GETCHAR=y -CONFIG_USER_SINGLE_STEP=y # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y # CONFIG_WARN_ANY is not set diff --git a/repos/base-foc/config/x86_32.user b/repos/base-foc/config/x86_32.user index 472d9f6..bb663c5 100644 --- a/repos/base-foc/config/x86_32.user +++ b/repos/base-foc/config/x86_32.user @@ -29,7 +29,6 @@ CONFIG_CPU_X86_586=y # CONFIG_CPU_X86_K10 is not set # CONFIG_CPU_X86_OPTERON is not set CONFIG_CPU="586" -# CONFIG_PLATFORM_TYPE_imx53 is not set CONFIG_PLATFORM_TYPE_pc=y # CONFIG_PLATFORM_TYPE_custom is not set CONFIG_PLATFORM_TYPE="pc" @@ -51,7 +50,7 @@ CONFIG_INT_CPP_NAME_SWITCH=y CONFIG_INT_LD_NAME_SWITCH=y # CONFIG_BID_STRIP_PROGS is not set # CONFIG_BID_GCC_OMIT_FP is not set -# CONFIG_BID_GENERATE_MAPFILE is not set +# CONFIG_BID_GCC_ENABLE_STACK_PROTECTOR is not set # CONFIG_BID_BUILD_DOC is not set # CONFIG_RELEASE_MODE is not set CONFIG_MAKECONFS_ADD="" diff --git a/repos/base-foc/lib/mk/l4re_support.mk b/repos/base-foc/lib/mk/l4re_support.mk index 8058093..108ec4a 100644 --- a/repos/base-foc/lib/mk/l4re_support.mk +++ b/repos/base-foc/lib/mk/l4re_support.mk @@ -6,7 +6,7 @@ ifeq ($(called_from_lib_mk),yes)
# packages in 'l4/pkg/' -PKGS = uclibc-headers uclibc-minimal l4util cxx +PKGS = crtn uclibc-headers l4util cxx uclibc-minimal libstdc++-headers
include $(REP_DIR)/mk/l4_pkg.mk all: $(PKG_TAGS) diff --git a/repos/base-foc/ports/foc.hash b/repos/base-foc/ports/foc.hash index 406d465..427e996 100644 --- a/repos/base-foc/ports/foc.hash +++ b/repos/base-foc/ports/foc.hash @@ -1 +1 @@ -36d581339a3195fd8969d7fc5efbdbd61ed878d3 +132a29f37b63a3ca0271e06f561591be57ff6934 diff --git a/repos/base-foc/ports/foc.port b/repos/base-foc/ports/foc.port index dbf50c1..a2bd036 100644 --- a/repos/base-foc/ports/foc.port +++ b/repos/base-foc/ports/foc.port @@ -1,6 +1,6 @@ LICENSE := GPLv2 VERSION := git DOWNLOADS := foc.git -URL(foc) := git@...338...:soe/foc.git -REV(foc) := devel +URL(foc) := https://github.com/skalk/foc.git +REV(foc) := 42b22226ad34b27c689786e53513ec6b2098ea15 DIR(foc) := src/kernel/foc
Hello Oliver,
as you may have noticed only subscribed members of genode-main are allowed to post to the list. So, please consider to subscribe if you're going to use this forum actively. Otherwise, each of your messages has to be approved manually.
Regards
-
Christian Helmuth -
pyl -
Reinier Millo Sánchez