Port Genode to Exynos4412
Reinier Millo Sánchez
rmillo at ...210...
Tue Jun 16 20:10:37 CEST 2015
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 at ...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 at ...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 at ...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 at ...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 at ...210...> 写道：
>>>
>>> Hi Oliver
>>>
>>> In the patch, you has commented the line:
>>>
>>> + #PWD=$(PWD)/pkg/moe/server/src $(MAKE)
>>> RAM_BASE=$(1) -C
>>> pkg/moe/server/src; \
>>>
>>> on the l4/Makefile (line 396). In our pathc this line
>>> remains uncommented.
>>> Now we will test your patch.
>>> Is there any reason to comment this line?
>>>
>>> Best regards
>>>
>>> On 06/16/2015 09:50 AM, pyl wrote:
>>>> Hi,
>>>> We are using Genode15.05 and Fiasco.oc(r67) from Stefan
>>>> Kalkowsky,and we have modified Genode15.05 based on
>>>> Arndale(exynos5) to supprort odroid-q2.
>>>> Another thing is we have tested Fiasco.oc(r67)
>>>> sucessfully on odroid-q2,using patch and configuration
>>>> from Sunyu.But there is a problem to support
>>>> Genode+Fiasco.oc on Exynos4412.
>>>> Thanks
>>>> Oliver
>>>>
>>>>
>>>>
>>>> At 2015-06-16 20:09:52, "Reinier Millo Sánchez"<rmillo at ...210...> wrote:
>>>> >Hi Oliver
>>>> >
>>>> >What version of Fiasco.OC (r67) you are using, the versión SVN
>>>> >Repository or Stefan Kalkowsky GIT version?
>>>> >It seems to compiled fine, but it fails trying to start the application. Stefan Kalkowsky
>>>> >When we have ported Fiasco.OC+Genode to the Odroid-X2, we never got that
>>>> >error. Can you share your diff patch applied and the configuration used
>>>> >to compile Fiasco.OC and L4re?
>>>> >
>>>> >Best regards
>>>> >
>>>> >On 06/15/2015 03:16 AM, Oliver wrote:
>>>> >> Hi,
>>>> >> We want to run gendoe(15.05) with fiasco.oc(R67) on the Exynos4412. I
>>>> >> patch the modification that you tell sunyu, but there are some errors.
>>>> >> Do I need to modify other configuration, or do you have any idea about
>>>> >> the error?
>>>> >>
>>>> >> This is the log on odroid-q2:
>>>> >>
>>>> >> Hello from Startup::stage2
>>>> >> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>>>> >> Number of IRQs available at this GIC: 160
>>>> >> FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>>>> >> dbl/sngl
>>>> >> L2: ID=4100c4c8 Type=1a340340 Aux=7e470001 WMask=ffff S=0
>>>> >> L2: Type L2C-310 Size = 1024kB Ways=16 Waysize=64
>>>> >> Watchdog initialized
>>>> >> SERIAL ESC: allocated IRQ 85 for serial uart
>>>> >> Not using serial hack in slow timer handler.
>>>> >> Welcome to Fiasco.OC (arm)!
>>>> >> L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
>>>> >> Rev: 87c0950-dirty compiled with gcc 4.9.2 for Samsung Exynos []
>>>> >> Build: #1 Tue Jun 9 17:14:44 CST 2015
>>>> >>
>>>> >> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>>>> >> Allocate 2688 bytes (3KB) for CPU[4] local storage (offset=1181570,
>>>> >> 0xf11ea000-0xf11eaa80)
>>>> >> Timer for CPU0 is at IRQ 28
>>>> >> Number of CPUs: 4
>>>> >> Calibrating timer loop... Per_cpu_data_alloc: (orig:
>>>> >> 0xf0068a90-0xf0069510)
>>>> >> done.
>>>> >> Allocate 2688 bytes (3KB) for CPU[1] local storage (offset=1183570,
>>>> >> 0xf11ec000-0xf11eca80)
>>>> >> MDB: use page size: 20
>>>> >> FPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>>>> >> dbl/sngl
>>>> >> MDB: use page size: 12
>>>> >> Timer for CPU1 is at IRQ 28
>>>> >> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>>>> >> SCache config: ON
>>>> >> IID_PFR[01]: 00001231 00000011G ID_[DA]FR0: 00010444 00000000
>>>> >> MID_MMFR[04]: 00100103 20000000 01230000 00102111
>>>> >> ACPU[1]: goes to idle loop
>>>> >> Allocate 2688 bytes (3KB) for CPU[2] local storage (offset=1162570,
>>>> >> 0xf11cb000-0xf11cba80)
>>>> >> 0FPU2: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>>>> >> dbl/sngl
>>>> >> :Timer for CPU2 is at IRQ 28
>>>> >> Cache config: ON
>>>> >> HID_PFR[01]: 00001231 00000011e ID_[DA]FR0: 00010444 00000000
>>>> >> lID_MMFR[04]: 00100103 20000000 01230000 00102111
>>>> >> lCPU[2]: goes to idle loop
>>>> >> Per_cpu_data_alloc: (orig: 0xf0068a90-0xf0069510)
>>>> >> oAllocate 2688 bytes (3KB) for CPU[3] local storage (offset=1165570,
>>>> >> 0xf11ce000-0xf11cea80)
>>>> >> !FPU3: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p:
>>>> >> dbl/sngl
>>>> >>
>>>> >> Timer for CPU3 is at IRQ 28
>>>> >> Cache config: ON
>>>> >> ID_PFR[01]: 00001231 00000011K ID_[DA]FR0: 00010444 00000000
>>>> >> IID_MMFR[04]: 00100103 20000000 01230000 00102111
>>>> >> PCPU[3]: goes to idle loop
>>>> >> @ 40002000
>>>> >> allocated 4KB for maintenance structures
>>>> >> SIGMA0: Dump of all resource maps
>>>> >> RAM:------------------------
>>>> >> [4:40000000;40000fff]
>>>> >> [0:4007b000;4008ffff]
>>>> >> [0:40097000;4009ffff]
>>>> >> [0:400a7000;410fffff]
>>>> >> [4:41100000;4118efff]
>>>> >> [0:4118f000;800fffff]
>>>> >> [4:80100000;80245fff]
>>>> >> [0:80246000;bbffffff]
>>>> >> IOMEM:----------------------
>>>> >> [0:0;3fffffff]
>>>> >> [0:bd000000;ffffffff]
>>>> >>
>>>> >> KIP @ 40002000
>>>> >> magic: 4be6344c
>>>> >> version: 87024444
>>>> >> sigma0 esp: 00000000 eip: 40090100
>>>> >> sigma1 esp: 00000000 eip: 00000000
>>>> >> root esp: 00000000 eip: 80100000
>>>> >> MBI @ 40000000
>>>> >> mod[3] [41100000,41100110) config
>>>> >> mod[4] [41101000,41151c34) init
>>>> >> mod[5] [41152000,4118e518) test-printf
>>>> >> :ram_alloc: Allocator 80235ee8 dump:
>>>> >> Block: [4007b000,40090000) size=00015000 avail=00015000
>>>> >> max_avail=00015000
>>>> >> Block: [40097000,4009701c) size=0000001c avail=00000000
>>>> >> max_avail=00015000
>>>> >> Block: [4009701c,40097038) size=0000001c avail=00000000
>>>> >> max_avail=00000000
>>>> >> Block: [40097038,400a0000) size=00008fc8 avail=00008fc8
>>>> >> max_avail=00008fc8
>>>> >> Block: [400a7000,400a701c) size=0000001c avail=00000000
>>>> >> max_avail=3ef71000
>>>> >> Block: [400a701c,400a7038) size=0000001c avail=00000000
>>>> >> max_avail=00000000
>>>> >> Block: [400a7038,41100000) size=01058fc8 avail=01058fc8
>>>> >> max_avail=01058fc8
>>>> >> Block: [4118f000,80100000) size=3ef71000 avail=3ef71000
>>>> >> max_avail=3ef71000
>>>> >> Block: [80246000,bc000000) size=3bdba000 avail=3bdba000
>>>> >> max_avail=3bdba000
>>>> >> => mem_size=2077892608 (1981 MB) / mem_avail=2077892496 (1981 MB)
>>>> >> :region_alloc: Allocator 80237058 dump:
>>>> >> Block: [00001000,20000000) size=1ffff000 avail=1ffff000
>>>> >> max_avail=1ffff000
>>>> >> Block: [30000000,40000000) size=10000000 avail=10000000
>>>> >> max_avail=1ffff000
>>>> >> Block: [40001000,40002000) size=00001000 avail=00001000
>>>> >> max_avail=1ffff000
>>>> >> Block: [40003000,4007b000) size=00078000 avail=00078000
>>>> >> max_avail=00078000
>>>> >> Block: [40090000,40097000) size=00007000 avail=00007000
>>>> >> max_avail=1ffff000
>>>> >> Block: [400a0000,400a7000) size=00007000 avail=00007000
>>>> >> max_avail=03ff0000
>>>> >> Block: [bc000000,bfff0000) size=03ff0000 avail=03ff0000
>>>> >> max_avail=03ff0000
>>>> >> => mem_size=872898560 (832 MB) / mem_avail=872898560 (832 MB)
>>>> >> :io_mem: Allocator 80236344 dump:
>>>> >> Block: [00000000,40000000) size=40000000 avail=40000000
>>>> >> max_avail=40000000
>>>> >> Block: [40001000,40002000) size=00001000 avail=00001000
>>>> >> max_avail=40000000
>>>> >> Block: [40003000,4007b000) size=00078000 avail=00078000
>>>> >> max_avail=00078000
>>>> >> Block: [40090000,40097000) size=00007000 avail=00007000
>>>> >> max_avail=00078000
>>>> >> Block: [400a0000,400a7000) size=00007000 avail=00007000
>>>> >> max_avail=43ffffff
>>>> >> Block: [bc000000,ffffffff) size=43ffffff avail=43ffffff
>>>> >> max_avail=43ffffff
>>>> >> => mem_size=2215145471 (2112 MB) / mem_avail=2215145471 (2112 MB)
>>>> >> :io_port: Allocator 802367a0 dump:
>>>> >> :irq: Allocator 80236bfc dump:
>>>> >> Block: [00000000,00000260) size=00000260 avail=00000260
>>>> >> max_avail=00000260
>>>> >> => mem_size=608 (0 MB) / mem_avail=608 (0 MB)
>>>> >> :rom_fs: Rom_fs 8023790c dump:
>>>> >> Rom: [41101000,41151c34) init
>>>> >> Rom: [41100000,41100110) config
>>>> >> Rom: [40002000,40003000) l4v2_kip
>>>> >> Rom: [40002000,40003000) kip
>>>> >> Rom: [41152000,4118e518) test-printf
>>>> >> :core ranges: Allocator 8023988c dump:
>>>> >> Block: [4007b000,40090000) size=00015000 avail=00015000
>>>> >> max_avail=00015000
>>>> >> Block: [40097000,400a0000) size=00009000 avail=00009000
>>>> >> max_avail=7bf59000
>>>> >> Block: [400a7000,bc000000) size=7bf59000 avail=7bf59000
>>>> >> max_avail=7bf59000
>>>> >> => mem_size=2079813632 (1983 MB) / mem_avail=2079813632 (1983 MB)
>>>> >> Genode 15.05
>>>> >> int main(): --- create local services ---
>>>> >> int main(): --- start init ---
>>>> >> Set ref account, init, targeted session not found
>>>> >> Transfer CPU quota, core -> init, no reference relation
>>>> >> int main(): transferred 1981 MB to init
>>>> >> Could not assign parent interface to new PD
>>>> >> unknown exception?
>>>> >> int main(): --- init created, waiting for exit condition ---
>>>> >>
>>>> >>
>>>> >> Best regards
>>>> >> Oliver
>>>> >>
>>>> >
>>>> >--
>>>> >Lic. Reinier Millo Sánchez
>>>> >Centro de Estudios de Informática
>>>> >Universidad Central "Marta Abreu" de Las Villas
>>>> >Carretera a Camajuaní Km 5 1/2
>>>> >Santa Clara, Villa Clara, Cuba
>>>> >CP 54830
>>>> >
>>>> >"antes de discutir ... respira;
>>>> > antes de hablar ... escucha;
>>>> > antes de escribir ... piensa;
>>>> > antes de herir ... siente;
>>>> > antes de rendirte ... intenta;
>>>> > antes de morir ... vive"
>>>> >
>>>
>>> --
>>> Lic. Reinier Millo Sánchez
>>> Centro de Estudios de Informática
>>> Universidad Central "Marta Abreu" de Las Villas
>>> Carretera a Camajuaní Km 5 1/2
>>> Santa Clara, Villa Clara, Cuba
>>> CP 54830
>>>
>>> "antes de discutir ... respira;
>>> antes de hablar ... escucha;
>>> antes de escribir ... piensa;
>>> antes de herir ... siente;
>>> antes de rendirte ... intenta;
>>> antes de morir ... vive"
>>>
>>
>> --
>> Lic. Reinier Millo Sánchez
>> Centro de Estudios de Informática
>> Universidad Central "Marta Abreu" de Las Villas
>> Carretera a Camajuaní Km 5 1/2
>> Santa Clara, Villa Clara, Cuba
>> CP 54830
>>
>> "antes de discutir ... respira;
>> antes de hablar ... escucha;
>> antes de escribir ... piensa;
>> antes de herir ... siente;
>> antes de rendirte ... intenta;
>> antes de morir ... vive"
>>
>
> --
> Lic. Reinier Millo Sánchez
> Centro de Estudios de Informática
> Universidad Central "Marta Abreu" de Las Villas
> Carretera a Camajuaní Km 5 1/2
> Santa Clara, Villa Clara, Cuba
> CP 54830
>
> "antes de discutir ... respira;
> antes de hablar ... escucha;
> antes de escribir ... piensa;
> antes de herir ... siente;
> antes de rendirte ... intenta;
> antes de morir ... vive"
>
--
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas
Carretera a Camajuaní Km 5 1/2
Santa Clara, Villa Clara, Cuba
CP 54830
"antes de discutir ... respira;
antes de hablar ... escucha;
antes de escribir ... piensa;
antes de herir ... siente;
antes de rendirte ... intenta;
antes de morir ... vive"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150616/bf0dcad5/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rmillo.vcf
Type: text/x-vcard
Size: 517 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150616/bf0dcad5/attachment.vcf>
More information about the users
mailing list