Hello,
I tried to port the "feq-imx6q" ethernet device driver from "L4Linux l4re-snapshot-2014092821" to "L4Linux l4re-snapshot-2015123115".
But I get an error when the driver try to probe the ethernet device:
Could someone help me to figure out what might be wrong in my configuration.
Below are the debug messages followed by all the patch's files.
Thank you very much in advance.
Best regards, Mahdi
L4 Bootstrapper Build: #35 Thu Mar 3 17:03:49 CET 2016, 4.8.3 20140320 (prerelease) Scanning up to 1024 MB RAM, starting at offset 256MB Memory size is 1024MB (10000000 - 4fffffff) RAM: 0000000010000000 - 000000004fffffff: 1048576kB Total RAM: 1024MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 14 modules behind 11100000 moving module 02 { 1eb17000-1eb484bb } -> { 1ec07000-1ec384bb } [201916] moving module 01 { 1eb05000-1eb1638b } -> { 1ebf5000-1ec0638b } [70540] moving module 00 { 1ea7f000-1eb04977 } -> { 1eb6f000-1ebf4977 } [547192] moving module 13 { 1ba7f000-1ea7efff } -> { 1bb6f000-1eb6efff } [50331648] moving module 12 { 1ba7e000-1ba7e239 } -> { 1bb6e000-1bb6e239 } [570] moving module 11 { 1167e000-1ba7dfff } -> { 1176e000-1bb6dfff } [171966464] moving module 10 { 1123c000-1167d497 } -> { 1132c000-1176d497 } [4461720] moving module 09 { 1123b000-1123b559 } -> { 1132b000-1132b559 } [1370] moving module 08 { 1123a000-1123a0a9 } -> { 1132a000-1132a0a9 } [170] moving module 07 { 11239000-1123979e } -> { 11329000-1132979e } [1951] moving module 06 { 11207000-1123883f } -> { 112f7000-1132883f } [202816] moving module 05 { 1108c000-1120663f } -> { 1117c000-112f663f } [1549888] moving module 04 { 1102a000-1108b6af } -> { 1111a000-1117b6af } [399024] moving module 03 { 11010000-1102947f } -> { 11100000-1111947f } [103552] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x10002000 Regions of list 'regions' [ 10000000, 100001e3] { 1e4} Root mbi_rt [ 10001000, 10001aff] { b00} Kern fiasco [ 10002000, 10092fff] { 91000} Kern fiasco [ 100c0000, 100ca3e7] { a3e8} Sigma0 sigma0 [ 100d0000, 100d6177] { 6178} Sigma0 sigma0 [ 10140000, 1016b41b] { 2b41c} Root moe [ 10170000, 1017b58b] { b58c} Root moe [ 11000000, 1100f5ff] { f600} Boot bootstrap [ 11100000, 1eb6efff] { da6f000} Root Module API Version: (87) experimental Sigma0 config ip:100c0100 sp:00000000 Roottask config ip:10140260 sp:00000000 Starting kernel fiasco at 100012bc Hello from Startup::stage2 Number of IRQs available at this GIC: 160 SERIAL ESC: allocated IRQ 58 for serial uart Not using serial hack in slow timer handler. Welcome to L4/Fiasco.OC! L4/Fiasco.OC microkernel on arm Rev: rexported compiled with gcc 4.8.3 20140320 (prerelease) [] Build: #3 Wed Mar 2 13:52:47 CET 2016
Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 10002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:10000000;10000fff] [0:10093000;100bffff] [0:100cb000;100cffff] [0:100d7000;1013ffff] [4:10140000;1016bfff] [0:1016c000;1016ffff] [4:10170000;1017bfff] [0:1017c000;110fffff] [4:11100000;1eb6efff] [0:1eb6f000;4effffff] IOMEM:---------------------- [0:0;fffffff] [0:50000000;ffffffff] MOE: Hello world MOE: found 807632 KByte free memory MOE: found RAM from 10000000 to 4f000000 MOE: allocated 1008 KByte for the page array @0x1017c000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:103000] BOOTFS: [11100000-11119480] [C:105000] l4re BOOTFS: [1111a000-1117b6b0] [C:107000] ned BOOTFS: [1117c000-112f6640] [C:109000] io BOOTFS: [112f7000-11328840] [C:10b000] cons BOOTFS: [11329000-1132979f] [C:10d000] l4lx.cfg BOOTFS: [1132a000-1132a0aa] [C:10f000] arm-imx6.io BOOTFS: [1132b000-1132b55a] [C:111000] arm-imx6.devs BOOTFS: [1132c000-1176d498] [C:113000] vmlinuz BOOTFS: [1176e000-1bb6e000] [C:115000] ramdisk-3-arm.rd BOOTFS: [1bb6e000-1bb6e23a] [C:117000] simple.dtb BOOTFS: [1bb6f000-1eb6f000] [C:119000] ramdisk-2-arm.rd MOE: cmdline: moe rom/l4lx.cfg MOE: Starting: rom/ned rom/l4lx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx.cfg' Console Server cons> Created vcon channel: IO [41f000] cons> Created vcon channel: l4linux1 [420000] cons> IO | Io service IO | Verboseness level: 4 IO | unused physical memory space: IO | [00000000000000-0000000fffffff] IO | [00000050000000-000000ffffffff] IO | no 'iommu' capability found use CPU-phys for DMA IO | Loading: config 'rom/arm-imx6.devs' IO | Loading: config 'rom/arm-imx6.io' IO | Real Hardware ----------------------------------- IO | System Bus: hid= IO | Resources: ==== start ==== IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | NIC: hid=imx6q-fec IO | Clients: ===== start ==== IO | NIC: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [00000002188000-0000000218bfff 4000] non-pref (32bit) (align=3fff flags=2) IO | IRQ [00000000000097-00000000000097 1] none (32bit) (align=0 flags=1) IO | Resources: ===== end ===== IO | warning: could not register control interface at cap 'platform_ctl' IO | Ready. Waiting for request. l4linux1| PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=024e6d68 l4linux1| phys=02000000 ephys=024e6d68 l4linux1| f_sz=00423394 memsz=004e6d68 flgs=rwx l4linux1| PH 1 (t: 4) offs=003caee4 vaddr=023c2ee4 vend=023c2f08 l4linux1| phys=023c2ee4 ephys=023c2f08 l4linux1| f_sz=00000024 memsz=00000024 flgs=r-x l4linux1| PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux1| phys=00000000 ephys=00000000 l4linux1| f_sz=00000000 memsz=00000000 flgs=rwx l4linux1| Starting binary at 0x2001358, argc=15 argv=0xafff4f6c *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux1| External resolver is at 0xa80007a4 l4linux1| ======> L4Linux starting... <======== l4linux1| Linux version 4.3.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #7 SMP Thu Mar 3 15:55:06 CET 2016 l4linux1| Binary name: rom/vmlinuz l4linux1| This is an AEABI build. l4linux1| Linux kernel command line (14 args): mem=512M console=ttyLv0 l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 --l4x_dtb=rom/simh l4linux1| CPU mapping (l:p)[1]: 0:0 l4linux1| Image: 020000a0 - 02600000 [6143 KiB]. l4linux1| Areas: Text: 020000a0 - 023c2f08 [3851kB] l4linux1| RO-Data: 022d8000 - 023aa000 [840kB] l4linux1| Data: 023fa000 - 0241e460 [145kB] l4linux1| Init: 023c3000 - 023fa000 [220kB] l4linux1| BSS: 02423394 - 024e6d68 [782kB] l4linux1| Device scan: l4linux1| Device: L4ICU l4linux1| Device: NIC l4linux1| MEM: 02188000 - 0218bfff l4linux1| IRQ: 00000097 - 00000097 l4linux1| Device scan done. l4linux1| l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00, v:b3000c00, sp:023fbfa4) l4linux1| main thread will be 41d l4linux1| section-with-init(-data): Virt: 0x2000000 to 0x24e6d67 [5019 KiB] l4linux1| section-with-init(-data): Phys: 0x10278000 to 0x1075ed67, [5019 KiB] l4linux1| section-with-init-text: Virt: 0x2000000 to 0x24e6d67 [5019 KiB] l4linux1| section-with-init-text: Phys: 0x10278000 to 0x1075ed67, [5019 KiB] l4linux1| Main thread running, waiting... l4linux1| L4x: Memory size: 512MB l4linux1| L4x: Setting superpages for main memory l4linux1| L4x: Adjusted memory start: 02000000 l4linux1| Main memory: Virt: 0x2600000 to 0x225fffff [524288 KiB] l4linux1| Main memory: Phys: 0x1ec00000 to 0x3ebfffff, [524288 KiB] l4linux1| l4x: vmalloc area: 22600000 - 2a600000 l4linux1| text: Virt: 0x2000000 to 0x24e6d67 [5019 KiB] l4linux1| text: Phys: 0x10278000 to 0x1075ed67, [5019 KiB] l4linux1| Page fault: addr = bffff003 pc = 023c6fe8 (rw, T) l4linux1| Loading: rom/ramdisk-3-arm.rd l4linux1| INITRD: Size of RAMdisk is 167936KiB l4linux1| RAMdisk from 2a600000 to 34a00000 [167936KiB] l4linux1| l4lx_thread_create: Created thread 423 (timer0) (u:b3000a00, v:00000000, sp:0247dfa0) l4linux1| Booting Linux on physical CPU 0x0 l4linux1| Linux version 4.3.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #7 SMP Thu Mar 3 15:55:06 CET 2016 l4linux1| DTB: virt=02600100 phys=1ec00100 l4linux1| CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00400000 l4linux1| CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cache l4linux1| Machine model: L4Linux (DT) l4linux1| Memory policy: Data cache writealloc l4linux1| INITRD: 2a600000 - 34a00000 l4linux1| PERCPU: Embedded 11 pages/cpu @2219a000 s12864 r8192 d24000 u45056 l4linux1| Built 1 zonelists in Zone order, mobility grouping on. Total pages: 131508 l4linux1| Kernel command line: mem=512M console=ttyLv0 l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 --l4x_dtb=rom/simple.dtb l4x_rd=r) l4linux1| Dentry cache hash table entries: 131072 (order: 7, 524288 bytes) l4linux1| Inode-cache hash table entries: 65536 (order: 6, 262144 bytes) l4linux1| Memory: 519224K/530432K available (3011K kernel code, 145K rwdata, 840K rodata, 220K init, 782K bss, 11208K reserved, 0K cma-reserved) l4linux1| Virtual kernel memory layout: l4linux1| vector : 0xbffff000 - 0xc0000000 ( 4 kB) l4linux1| fixmap : 0xffc00000 - 0xfff00000 (3072 kB) l4linux1| vmalloc : 0x22600000 - 0x2a600000 ( 128 MB) l4linux1| lowmem : 0x00000000 - 0x22600000 ( 550 MB) l4linux1| modules : Virtual kernel memory layout: l4linux1| vector : 0xbffff000 - 0xc0000000 ( 4 kB) l4linux1| fixmap : 0xffc00000 - 0xfff00000 (3072 kB) l4linux1| vmalloc : 0x22600000 - 0x2a600000 ( 128 MB) l4linux1| lowmem : 0x00000000 - 0x22600000 ( 550 MB) l4linux1| moHierarchical RCU implementation. l4linux1| Build-time adjustment of leaf fanout to 32. l4linux1| RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1. l4linux1| RCU: Adjusting geometry for rcu_fanout_leaf=32, nr_cpu_ids=1 l4linux1| NR_IRQS:282 l4linux1| clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns l4linux1| l4timer: Using IRQ210 l4linux1| sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500ns l4linux1| Console: colour dummy device 80x30 l4linux1| console [ttyLv0] enabled l4linux1| Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512) l4linux1| pid_max: default: 32768 minimum: 301 l4linux1| Mount-cache hash table entries: 2048 (order: 1, 8192 bytes) l4linux1| Mountpoint-cache hash table entries: 2048 (order: 1, 8192 bytes) l4linux1| CPU: Testing write buffer coherency: ok l4linux1| missing device node for CPU 0 l4linux1| CPU0: thread -1, cpu 0, socket 0, mpidr 80000000 l4linux1| Setting up static identity map for 0x20000a0 - 0x20000a0 l4linux1| Brought up 1 CPUs l4linux1| SMP: Total of 1 processors activated (1574.50 BogoMIPS). l4linux1| CPU: All CPU(s) started in SVC mode. l4linux1| devtmpfs: initialized l4linux1| clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns l4linux1| NET: Registered protocol family 16 l4linux1| DMA: preallocated 256 KiB pool for atomic coherent allocations l4linux1| Added static device 'L4ICU' with 0 resources. l4linux1| Added static device 'NIC' with 2 resources. l4linux1| Failed to create "l4x" debugfs directory: 1 l4linux1| pps_core: LinuxPPS API ver. 1 registered l4linux1| pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti giometti@linux.it l4linux1| PTP clock support registered l4linux1| clocksource: Switched to clocksource l4kipclk l4linux1| NET: Registered protocol family 2 l4linux1| TCP established hash table entries: 8192 (order: 3, 32768 bytes) l4linux1| TCP bind hash table entries: 8192 (order: 4, 65536 bytes) l4linux1| TCP: Hash tables configured (established 8192 bind 8192) l4linux1| UDP hash table entries: 512 (order: 2, 16384 bytes) l4linux1| UDP-Lite hash table entries: 512 (order: 2, 16384 bytes) l4linux1| NET: Registered protocol family 1 l4linux1| Trying to unpack rootfs image as initramfs... l4linux1| rootfs image is not initramfs (junk in compressed archive); looks like an initrd l4linux1| INITRD: Freeing memory. l4linux1| l4x-dma-alloc: size=30 avail=0/0 l4linux1| l4x: Checks passed. l4linux1| futex hash table entries: 256 (order: 2, 16384 bytes) l4linux1| io scheduler noop registered l4linux1| io scheduler deadline registered l4linux1| io scheduler cfq registered (default) l4linux1| L4 serial driver l4linux1| serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4-vcon l4linux1| l4ser_shm: L4 shared mem serial driver l4linux1| l4cdds: No name given, not starting. l4linux1| brd: module loaded l4linux1| l4bdds: No name given, not starting. IO | new iomem region: p=2000000 v=400000 s=400000 (bmb=0x1c668) l4linux1| __l4x_ioremap: Mapping physaddr 02188000 [0x3fff Bytes, 02188000+004000] to 00002000+000000 l4linux1| l4x-dma-alloc: size=65536 avail=0/0 l4linux1| l4x-dma-alloc: size=4096 avail=0/0 l4linux1| fec: probe of 2188000.ethernet failed with error -12 l4linux1| shmns: Requesting, Shmsize 1024 Kbytes l4linux1| Page fault: addr = 024e7003 pc = a8006734 (rw, T) l4linux1| Page fault: addr = 00002003 pc = ffffe100 (rw, T) l4linux1| mousedev: PS/2 mouse device common for all mice l4linux1| NET: Registered protocol family 17 l4linux1| Registering SWP/SWPB emulation handler l4linux1| L4IRQ: set irq type of 211 to 1 l4linux1| RAMDISK: ext2 filesystem found at block 0 l4linux1| RAMDISK: Loading 167936KiB [1 disk] into ram disk... done. l4linux1| EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is recommended l4linux1| VFS: Mounted root (ext2 filesystem) on device 1:0. l4linux1| devtmpfs: mounted l4linux1| Freeing unused kernel memory: 220K (023c3000 - 023fa000) l4linux1| /bin/sh: can't access tty; job control turned off l4linux1| / #
==================================================================================
--- ../l4linux-devicetree/drivers/net/ethernet/freescale/fec_main.c 2016-03-02 16:54:47.131617289 +0100 +++ drivers/net/ethernet/freescale/fec_main.c 2016-03-03 15:05:48.679629321 +0100 @@ -64,6 +64,12 @@
#include "fec.h"
+#ifdef CONFIG_L4 +//ahb clock +#define clk_get_rate(x) 132000000 + +#endif + static void set_multicast_list(struct net_device *ndev); static void fec_enet_itr_coal_init(struct net_device *ndev);
@@ -2163,7 +2169,7 @@ /* List of registers that can be safety be read to dump them with ethtool */ #if defined(CONFIG_M523x) || defined(CONFIG_M527x) || defined(CONFIG_M528x) || \ defined(CONFIG_M520x) || defined(CONFIG_M532x) || \ - defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) + defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) || defined(CONFIG_L4) static u32 fec_enet_register_offset[] = { FEC_IEVENT, FEC_IMASK, FEC_R_DES_ACTIVE_0, FEC_X_DES_ACTIVE_0, FEC_ECNTRL, FEC_MII_DATA, FEC_MII_SPEED, FEC_MIB_CTRLSTAT, FEC_R_CNTRL, @@ -3393,12 +3399,22 @@ fep->phy_interface = ret; }
+#ifdef CONFIG_L4 + //Do not setup Clocks or regulator + fep->clk_ahb = NULL; + fep->clk_ipg = NULL; + fep->clk_enet_out = NULL; + fep->clk_ptp = NULL; + fep->reg_phy = NULL; +#else + fep->clk_ipg = devm_clk_get(&pdev->dev, "ipg"); if (IS_ERR(fep->clk_ipg)) { ret = PTR_ERR(fep->clk_ipg); goto failed_clk; }
+ fep->clk_ahb = devm_clk_get(&pdev->dev, "ahb"); if (IS_ERR(fep->clk_ahb)) { ret = PTR_ERR(fep->clk_ahb); @@ -3453,6 +3469,8 @@ pm_runtime_set_active(&pdev->dev); pm_runtime_enable(&pdev->dev);
+#endif + fec_reset_phy(pdev);
if (fep->bufdesc_ex)
==================================================================================
--- ../l4linux-devicetree/drivers/net/ethernet/freescale/fec_ptp.c 2016-03-02 16:54:47.135617309 +0100 +++ drivers/net/ethernet/freescale/fec_ptp.c 2016-03-03 14:49:44.034845906 +0100 @@ -48,6 +48,9 @@
#include "fec.h"
+//ahb clock +#define clk_get_rate(x) 132000000 + /* FEC 1588 register bits */ #define FEC_T_CTRL_SLAVE 0x00002000 #define FEC_T_CTRL_CAPTURE 0x00000800
==================================================================================
--- ../l4linux-devicetree/arch/l4/kernel/arch-arm/mach_setup.c 2016-03-02 16:56:08.920022856 +0100 +++ arch/l4/kernel/arch-arm/mach_setup.c 2016-03-03 14:43:19.120937221 +0100 @@ -5,15 +5,84 @@ #include <linux/platform_device.h> #include <linux/ata_platform.h> #include <linux/smsc911x.h> +#include <linux/fec.h> #include <linux/slab.h> #include <linux/list.h>
+ #include <asm/generic/devs.h>
#ifdef CONFIG_L4_DMAPOOL #include <asm/l4x/dma.h> #endif
+#define PHY_ID_AR8031 0x004dd074 + +static struct resource imx6q_fec_resources[] = { + { + .start = 0x02188000, + .end = 0x0218BFFF, + .name = "imx6q-fec mem", + .flags = IORESOURCE_MEM + }, + { + .start = 150, + .end = 151, + .name = "imx6q-fec irq", + .flags = IORESOURCE_IRQ + } +}; + +static struct fec_platform_data imx6q_fec_pd = { + .phy = PHY_INTERFACE_MODE_RGMII +}; + +static struct platform_device imx6q_fec_dev = { + .name = "imx6q-fec", + .id = 0, + .resource = imx6q_fec_resources, + .num_resources = ARRAY_SIZE(imx6q_fec_resources), + .dev = { + .platform_data = &imx6q_fec_pd, + }, +}; + +static int ar8031_phy_fixup(struct phy_device *dev) +{ + u16 val; + + /* to enable AR8031 output a 125Mhz clk from CLK_25M */ + phy_write(dev, 0xd, 0x7); + phy_write(dev, 0xe, 0x8016); + phy_write(dev, 0xd, 0x4007); + + val = phy_read(dev, 0xe); + val &= 0xffe3; + val |= 0x18; + phy_write(dev, 0xe, val); + + /* introduce tx clock delay */ + phy_write(dev, 0x1d, 0x5); + val = phy_read(dev, 0x1e); + val |= 0x0100; + phy_write(dev, 0x1e, val); + + return 0; +} + +static void __init imx6q_enet_phy_init(void) +{ + if (IS_BUILTIN(CONFIG_PHYLIB)) { + phy_register_fixup_for_uid(PHY_ID_AR8031, 0xffffffff, ar8031_phy_fixup); + } +} + +static L4X_DEVICE_CB(imx6q_device_cb_fec) +{ + platform_device_register(&imx6q_fec_dev); + imx6q_enet_phy_init(); +} +
static int dev_init_done;
@@ -238,6 +307,7 @@ l4x_register_platform_device_callback("compactflash", realview_device_cb_pata); l4x_register_platform_device_callback("smsc911x", realview_device_cb_smsc); l4x_register_platform_device_callback("aaci", aaci_cb); + l4x_register_platform_device_callback("imx6q-fec.dev", imx6q_device_cb_fec); #endif }
==================================================================================
--- ../l4linux-devicetree/drivers/net/ethernet/freescale/Kconfig 2016-03-02 16:54:47.095617111 +0100 +++ drivers/net/ethernet/freescale/Kconfig 2016-03-03 14:03:13.341007602 +0100 @@ -7,7 +7,7 @@ default y depends on FSL_SOC || QUICC_ENGINE || CPM1 || CPM2 || PPC_MPC512x || \ M523x || M527x || M5272 || M528x || M520x || M532x || \ - ARCH_MXC || ARCH_MXS || (PPC_MPC52xx && PPC_BESTCOMM) + ARCH_MXC || ARCH_MXS || (PPC_MPC52xx && PPC_BESTCOMM) || L4 ---help--- If you have a network (Ethernet) card belonging to this class, say Y.
@@ -21,7 +21,7 @@ config FEC tristate "FEC ethernet controller (of ColdFire and some i.MX CPUs)" depends on (M523x || M527x || M5272 || M528x || M520x || M532x || \ - ARCH_MXC || SOC_IMX28) + ARCH_MXC || SOC_IMX28) || L4 default ARCH_MXC || SOC_IMX28 if ARM select PHYLIB select PTP_1588_CLOCK
==================================================================================
--- ../l4linux-devicetree/arch/l4/Kconfig 2016-03-02 16:56:09.196024225 +0100 +++ arch/l4/Kconfig 2016-03-03 15:29:27.898666848 +0100 @@ -63,16 +63,22 @@ config L4_PLATFORM_GENERIC bool "Generic" select CLKDEV_LOOKUP - select L4_CLK_NOOP +# select L4_CLK_NOOP + select HAVE_CLK_PREPARE + select HAVE_MACH_CLKDEV + select COMMON_CLK
config L4_PLATFORM_REALVIEW bool "Realview" select CLKDEV_LOOKUP select OUTER_CACHE - select L4_CLK_NOOP +# select L4_CLK_NOOP
endchoice
+config L4_CLK_NOOP + bool "L4 Clock Noop" + depends on (L4_PLATFORM_GENERIC || L4_PLATFORM_REALVIEW)
menu "Features"
===================== conf/examples/arm-imx6.io =====================
-- vi:ft=lua
local hw = Io.system_bus()
Io.add_vbus("l4linux", Io.Vi.System_bus { NIC = wrap(hw:match("fsl,imx6q-fec")); })
======================= conf/examples/arm-imx6.devs =======================
-- vim:set ft=lua:
local Res = Io.Res local Hw = Io.Hw
Io.hw_add_devices(function()
NIC = Hw.Device(function() Property.hid = "imx6q-fec"; compatible = {"fsl,imx6q-fec"}; Resource.regs = Res.mmio(0x02188000, 0x0218BFFF); Resource.irq = Res.irq(150); Resource.irq = Res.irq(151); end);
end)
==================== arch/l4/boot/dts/simple.dts ====================
/* * Basic DT for L4Linux. */
/dts-v1/;
/ { model = "L4Linux (DT)"; compatible = "L4Linux";
#address-cells = <1>; #size-cells = <1>; chosen { }; aliases { };
intc: l4icu { compatible = "l4,icu"; interrupt-controller; /* type can be 'gic' or 'single' currently */ l4icu-type = "gic"; #interrupt-cells = <3>; /* l4icu-type = "single"; #interrupt-cells = <1>; */ };
/* QEMU-ARM: -M realview-eb -net nic,model=smc91c111 */ /* ethernet@4e000000 { compatible = "smsc,lan91c111"; reg = <0x4e000000 0x10>; interrupt-parent = <&intc>; interrupts = <0 28 0>; status = "disabled"; }; */
ethernet@0x02188000 { compatible = "fsl,imx6q-fec"; reg = <0x02188000 0x3fff>; interrupt-parent = <&intc>; interrupts = <0 150 0>; status = "disabled"; };
};
On Wed, Mar 2, 2016 at 6:37 PM, Mahdi Aichouch foxmehdi@gmail.com wrote:
Hello Matthias,
I adapted my configuration file to the new Lua syntax. Then, I tested the L4Linux on the Freescale i.MX6 Sabre SD board.
As a DTB file, I adapted the "arch/l4/boot/dts/simple.dts" script in order to add the imx6q-fec ethernet device.
However, I was not able to get the real ethernet interface in the L4Linux guest. Only a virtual ethernet interface was created.
Please find below the debug messages followed by my configuration scripts.
Could you please tell me what might be missing in my configuration.
Thank you very much in advance.
Best regards, Mahdi
L4 Bootstrapper Build: #29 Wed Mar 2 18:11:15 CET 2016, 4.8.3 20140320 (prerelease) Scanning up to 1024 MB RAM, starting at offset 128MB Memory size is 1024MB (10000000 - 4fffffff) RAM: 0000000010000000 - 000000004fffffff: 1048576kB Total RAM: 1024MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 13 modules behind 11100000 moving module 02 { 146f7000-147284bb } -> { 147e7000-148184bb } [201916] moving module 01 { 146e5000-146f638b } -> { 147d5000-147e638b } [70540] moving module 00 { 1465f000-146e4977 } -> { 1474f000-147d4977 } [547192] moving module 12 { 1165f000-1465efff } -> { 1174f000-1474efff } [50331648] moving module 11 { 1165e000-1165e245 } -> { 1174e000-1174e245 } [582] moving module 10 { 1123c000-1165d497 } -> { 1132c000-1174d497 } [4330648] moving module 09 { 1123b000-1123b559 } -> { 1132b000-1132b559 } [1370] moving module 08 { 1123a000-1123a0a9 } -> { 1132a000-1132a0a9 } [170] moving module 07 { 11239000-1123951c } -> { 11329000-1132951c } [1309] moving module 06 { 11207000-1123883f } -> { 112f7000-1132883f } [202816] moving module 05 { 1108c000-1120663f } -> { 1117c000-112f663f } [1549888] moving module 04 { 1102a000-1108b6af } -> { 1111a000-1117b6af } [399024] moving module 03 { 11010000-1102947f } -> { 11100000-1111947f } [103552] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x10002000 Regions of list 'regions' [ 10000000, 100001bf] { 1c0} Root mbi_rt [ 10001000, 10001aff] { b00} Kern fiasco [ 10002000, 10092fff] { 91000} Kern fiasco [ 100c0000, 100ca3e7] { a3e8} Sigma0 sigma0 [ 100d0000, 100d6177] { 6178} Sigma0 sigma0 [ 10140000, 1016b41b] { 2b41c} Root moe [ 10170000, 1017b58b] { b58c} Root moe [ 11000000, 1100f5df] { f5e0} Boot bootstrap [ 11100000, 1474efff] { 364f000} Root Module API Version: (87) experimental Sigma0 config ip:100c0100 sp:00000000 Roottask config ip:10140260 sp:00000000 Starting kernel fiasco at 100012bc Hello from Startup::stage2 Number of IRQs available at this GIC: 160 SERIAL ESC: allocated IRQ 58 for serial uart Not using serial hack in slow timer handler. Welcome to L4/Fiasco.OC! L4/Fiasco.OC microkernel on arm Rev: rexported compiled with gcc 4.8.3 20140320 (prerelease) [] Build: #3 Wed Mar 2 13:52:47 CET 2016
Calibrating timer loop... done. MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 10002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:10000000;10000fff] [0:10093000;100bffff] [0:100cb000;100cffff] [0:100d7000;1013ffff] [4:10140000;1016bfff] [0:1016c000;1016ffff] [4:10170000;1017bfff] [0:1017c000;110fffff] [4:11100000;1474efff] [0:1474f000;4effffff] IOMEM:---------------------- [0:0;fffffff] [0:50000000;ffffffff] MOE: Hello world MOE: found 975696 KByte free memory MOE: found RAM from 10000000 to 4f000000 MOE: allocated 1008 KByte for the page array @0x1017c000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:103000] BOOTFS: [11100000-11119480] [C:105000] l4re BOOTFS: [1111a000-1117b6b0] [C:107000] ned BOOTFS: [1117c000-112f6640] [C:109000] io BOOTFS: [112f7000-11328840] [C:10b000] cons BOOTFS: [11329000-1132951d] [C:10d000] l4lx.cfg BOOTFS: [1132a000-1132a0aa] [C:10f000] arm-imx6.io BOOTFS: [1132b000-1132b55a] [C:111000] arm-imx6.devs BOOTFS: [1132c000-1174d498] [C:113000] vmlinuz BOOTFS: [1174e000-1174e246] [C:115000] simple.dtb BOOTFS: [1174f000-1474f000] [C:117000] ramdisk-2-arm.rd MOE: cmdline: moe rom/l4lx.cfg MOE: Starting: rom/ned rom/l4lx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx.cfg' Console Server cons> Created vcon channel: IO [41f000] cons> Created vcon channel: l4linux [420000] cons> IO | Io service IO | Verboseness level: 4 IO | unused physical memory space: IO | [00000000000000-0000000fffffff] IO | [00000050000000-000000ffffffff] IO | no 'iommu' capability found use CPU-phys for DMA IO | Loading: config 'rom/arm-imx6.devs' IO | Loading: config 'rom/arm-imx6.io' IO | Real Hardware ----------------------------------- IO | System Bus: hid= IO | Resources: ==== start ==== IO | DMADOM [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=6) IO | Resources: ===== end ===== IO | NIC: hid=imx6q-fec IO | Clients: ===== start ==== IO | NIC: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [00000002188000-0000000218bfff 4000] non-pref (32bit) (align=3fff flags=2) IO | IRQ [00000000000097-00000000000097 1] none (32bit) (align=0 flags=1) IO | Resources: ===== end ===== IO | warning: could not register control interface at cap 'platform_ctl' IO | Ready. Waiting for request. l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=024cece8 l4linux | phys=02000000 ephys=024cece8 l4linux | f_sz=00408394 memsz=004cece8 flgs=rwx l4linux | PH 1 (t: 4) offs=003b132c vaddr=023a932c vend=023a9350 l4linux | phys=023a932c ephys=023a9350 l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | Starting binary at 0x2001358, argc=15 argv=0xafff4f6c *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa80007a4 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 4.3.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #5 SMP Wed Mar 2 17:40:01 CET 2016 l4linux | Binary name: rom/vmlinuz l4linux | This is an AEABI build. l4linux | Linux kernel command line (14 args): mem=512M console=ttyLv0 l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 l4x_dtb=rom/simplh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 020000a0 - 02600000 [6143 KiB]. l4linux | Areas: Text: 020000a0 - 023a9350 [3748kB] l4linux | RO-Data: 022c6000 - 02391000 [812kB] l4linux | Data: 023e0000 - 02403b80 [142kB] l4linux | Init: 023aa000 - 023e0000 [216kB] l4linux | BSS: 02408394 - 024cece8 [794kB] l4linux | Device scan: l4linux | Device: L4ICU l4linux | Device: NIC l4linux | MEM: 02188000 - 0218bfff l4linux | IRQ: 00000097 - 00000097 l4linux | Device scan done. l4linux | l4lx_thread_create: Created thread 41d (cpu0) (u:b3000e00, v:b3000c00, sp:023e1fa4) l4linux | main thread will be 41d l4linux | section-with-init(-data): Virt: 0x2000000 to 0x24cece7 [4923 KiB] l4linux | section-with-init(-data): Phys: 0x10278000 to 0x10746ce7, [4923 KiB] l4linux | section-with-init-text: Virt: 0x2000000 to 0x24cece7 [4923 KiB] l4linux | section-with-init-text: Phys: 0x10278000 to 0x10746ce7, [4923 KiB] l4linux | Main thread running, waiting... l4linux | L4x: Memory size: 512MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 02000000 l4linux | Main memory: Virt: 0x2600000 to 0x225fffff [524288 KiB] l4linux | Main memory: Phys: 0x14800000 to 0x347fffff, [524288 KiB] l4linux | l4x: vmalloc area: 22600000 - 2a600000 l4linux | text: Virt: 0x2000000 to 0x24cece7 [4923 KiB] l4linux | text: Phys: 0x10278000 to 0x10746ce7, [4923 KiB] l4linux | Page fault: addr = bffff003 pc = 023adfc0 (rw, T) l4linux | Loading: rom/ramdisk-2-arm.rd l4linux | INITRD: Size of RAMdisk is 49152KiB l4linux | RAMdisk from 2a600000 to 2d600000 [49152KiB] l4linux | l4lx_thread_create: Created thread 423 (timer0) (u:b3000a00, v:00000000, sp:02465fa0) l4linux | Booting Linux on physical CPU 0x0 l4linux | Linux version 4.3.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #5 SMP Wed Mar 2 17:40:01 CET 2016 l4linux | DTB: virt=02600100 phys=14800100 l4linux | CPU: Fiasco [412fc09a] revision 10 (ARMv7), cr=00400000 l4linux | CPU: PIPT / VIPT nonaliasing data cache, VIPT nonaliasing instruction cache l4linux | Machine model: L4Linux (DT) l4linux | Memory policy: Data cache writealloc l4linux | INITRD: 2a600000 - 2d600000 l4linux | PERCPU: Embedded 11 pages/cpu @2219a000 s12864 r8192 d24000 u45056 l4linux | Built 1 zonelists in Zone order, mobility grouping on. Total pages: 131508 l4linux | Kernel command line: mem=512M console=ttyLv0 l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 l4x_dtb=rom/simple.dtb l4x_rd=rom) l4linux | Dentry cache hash table entries: 131072 (order: 7, 524288 bytes) l4linux | Inode-cache hash table entries: 65536 (order: 6, 262144 bytes) l4linux | Memory: 519224K/530432K available (2936K kernel code, 142K rwdata, 812K rodata, 216K init, 794K bss, 11208K reserved, 0K cma-reserved) l4linux | Virtual kernel memory layout: l4linux | vector : 0xbffff000 - 0xc0000000 ( 4 kB) l4linux | fixmap : 0xffc00000 - 0xfff00000 (3072 kB) l4linux | vmalloc : 0x22600000 - 0x2a600000 ( 128 MB) l4linux | lowmem : 0x00000000 - 0x22600000 ( 550 MB) l4linux | modules : Virtual kernel memory layout: l4linux | vector : 0xbffff000 - 0xc0000000 ( 4 kB) l4linux | fixmap : 0xffc00000 - 0xfff00000 (3072 kB) l4linux | vmalloc : 0x22600000 - 0x2a600000 ( 128 MB) l4linux | lowmem : 0x00000000 - 0x22600000 ( 550 MB) l4linux | moHierarchical RCU implementation. l4linux | Build-time adjustment of leaf fanout to 32. l4linux | RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1. l4linux | RCU: Adjusting geometry for rcu_fanout_leaf=32, nr_cpu_ids=1 l4linux | NR_IRQS:282 l4linux | clocksource: l4kipclk: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns l4linux | l4timer: Using IRQ210 l4linux | sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500ns l4linux | Console: colour dummy device 80x30 l4linux | console [ttyLv0] enabled l4linux | Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512) l4linux | pid_max: default: 32768 minimum: 301 l4linux | Mount-cache hash table entries: 2048 (order: 1, 8192 bytes) l4linux | Mountpoint-cache hash table entries: 2048 (order: 1, 8192 bytes) l4linux | CPU: Testing write buffer coherency: ok l4linux | missing device node for CPU 0 l4linux | CPU0: thread -1, cpu 0, socket 0, mpidr 80000000 l4linux | Setting up static identity map for 0x20000a0 - 0x20000a0 l4linux | Brought up 1 CPUs l4linux | SMP: Total of 1 processors activated (1574.50 BogoMIPS). l4linux | CPU: All CPU(s) started in SVC mode. l4linux | devtmpfs: initialized l4linux | clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns l4linux | NET: Registered protocol family 16 l4linux | DMA: preallocated 256 KiB pool for atomic coherent allocations l4linux | Added static device 'L4ICU' with 0 resources. l4linux | Added static device 'NIC' with 2 resources. l4linux | Failed to create "l4x" debugfs directory: 1 l4linux | clocksource: Switched to clocksource l4kipclk l4linux | NET: Registered protocol family 2 l4linux | TCP established hash table entries: 8192 (order: 3, 32768 bytes) l4linux | TCP bind hash table entries: 8192 (order: 4, 65536 bytes) l4linux | TCP: Hash tables configured (established 8192 bind 8192) l4linux | UDP hash table entries: 512 (order: 2, 16384 bytes) l4linux | UDP-Lite hash table entries: 512 (order: 2, 16384 bytes) l4linux | NET: Registered protocol family 1 l4linux | Trying to unpack rootfs image as initramfs... l4linux | rootfs image is not initramfs (junk in compressed archive); looks like an initrd l4linux | INITRD: Freeing memory. l4linux | l4x: Checks passed. l4linux | futex hash table entries: 256 (order: 2, 16384 bytes) l4linux | io scheduler noop registered l4linux | io scheduler deadline registered l4linux | io scheduler cfq registered (default) l4linux | L4 serial driver l4linux | serial-ttyLv.0: ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4-vcon l4linux | l4ser_shm: L4 shared mem serial driver l4linux | l4cdds: No name given, not starting. l4linux | brd: module loaded l4linux | l4bdds: No name given, not starting. l4linux | shmns: Requesting, Shmsize 1024 Kbytes l4linux | Page fault: addr = 024cf003 pc = a8006734 (rw, T) l4linux | Page fault: addr = 00002003 pc = ffffe100 (rw, T) l4linux | mousedev: PS/2 mouse device common for all mice l4linux | NET: Registered protocol family 17 l4linux | Registering SWP/SWPB emulation handler l4linux | L4IRQ: set irq type of 211 to 1 l4linux | RAMDISK: ext2 filesystem found at block 0 l4linux | RAMDISK: Loading 49152KiB [1 disk] into ram disk... done. l4linux | EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is recommended l4linux | VFS: Mounted root (ext2 filesystem) on device 1:0. l4linux | devtmpfs: mounted l4linux | Freeing unused kernel memory: 216K (023aa000 - 023e0000) l4linux | /bin/sh: can't access tty; job control turned off l4linux | / #
cons> ------------- Connecting to 'l4linux' ------------- Registering SWP/SWPB emulation handler L4IRQ: set irq type of 211 to 1 RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 49152KiB [1 disk] into ram disk... done. EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is recommended VFS: Mounted root (ext2 filesystem) on device 1:0. devtmpfs: mounted Freeing unused kernel memory: 216K (023aa000 - 023e0000) /bin/sh: can't access tty; job control turned off / # ip addr show 1: lo: <LOOPBACK> mtu 65536 qdisc noop link/loopback 00:00:00:00:00:00 brd 00:00:00:00:00:00 2: eth0: <BROADCAST,MULTICAST> mtu 7710 qdisc noop qlen 1000 link/ether 52:54:00:b0:cf:01 brd ff:ff:ff:ff:ff:ff / #
================= conf/examples/l4lx.cfg =================
-- vim:set ft=lua:
local L4 = require("L4");
loader = L4.default_loader;
vbus_l4linux = loader:new_channel(); local shmns = L4.default_loader:create_namespace({ shm = "ipc-inter-vm" }); local cons = L4.default_loader:new_channel();
L4.default_loader:start( { caps = { cons = cons:svr() }, log = L4.Env.log, }, "rom/cons -k -a");
L4.default_loader.log_fab = cons;
loader:start( { caps = { sigma0 = L4.cast(L4.Proto.Factory,L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; l4linux = vbus_l4linux:svr(); }, log = {"IO", "magenta"}, }, "rom/io -vvv rom/arm-imx6.devs rom/arm-imx6.io")
L4.default_loader:start( { caps = { shmns = shmns:mode("rw"), vbus = vbus_l4linux; -- log = L4.Env.log:m("rws"),
}, ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map, -- log = L4.Env.log:m("rws"), log = { "l4linux", "yellow", "key=1" }, l4re_dbg = L4.Dbg.Warn,
}, "rom/vmlinuz mem=512M console=ttyLv0 l4memtype=pinned,continuous earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1 l4x_dtb=rom/simple.dtb " .. "l4x_rd=rom/ramdisk-2-" .. L4.Info.arch() .. ".rd " .. "root=1:0 ramdisk_size=167936 rw init=/bin/sh");
===================== conf/examples/arm-imx6.io =====================
-- vi:ft=lua
local hw = Io.system_bus()
Io.add_vbus("l4linux", Io.Vi.System_bus { NIC = wrap(hw:match("fsl,imx6q-fec")); })
======================= conf/examples/arm-imx6.devs =======================
-- vim:set ft=lua:
local Res = Io.Res local Hw = Io.Hw
Io.hw_add_devices(function()
NIC = Hw.Device(function() Property.hid = "imx6q-fec"; compatible = {"fsl,imx6q-fec"}; Resource.regs = Res.mmio(0x02188000, 0x0218BFFF); Resource.irq = Res.irq(150); Resource.irq = Res.irq(151); end);
end)
==================== arch/l4/boot/dts/simple.dts ====================
/*
- Basic DT for L4Linux.
*/
/dts-v1/;
/ { model = "L4Linux (DT)"; compatible = "L4Linux";
#address-cells = <1>; #size-cells = <1>; chosen { }; aliases { }; intc: l4icu { compatible = "l4,icu"; interrupt-controller; /* type can be 'gic' or 'single' currently */ l4icu-type = "gic"; #interrupt-cells = <3>; /* l4icu-type = "single"; #interrupt-cells = <1>; */ }; /* QEMU-ARM: -M realview-eb -net nic,model=smc91c111 */ /* ethernet@4e000000 { compatible = "smsc,lan91c111"; reg = <0x4e000000 0x10>; interrupt-parent = <&intc>; interrupts = <0 28 0>; status = "disabled"; }; */ ethernet@0x02188000 { compatible = "fsl,imx6q-fec"; reg = <0x02188000 0x3fff>; interrupt-parent = <&intc>; interrupts = <0 150 0>; status = "disabled"; };
};
On Wed, Mar 2, 2016 at 4:22 PM, Matthias Lange < matthias.lange@kernkonzept.com> wrote:
Hi,
On 03/02/2016 03:09 PM, Mahdi Aichouch wrote:
Hello Adam,
Thank very much for your answer.
[snip]
However, I remarked that the syntax in the Lua configuration files for Input-Output devices have been changed in the last L4Re version.
Could you please help me to adapt my old configurations files to the new L4Re Lua syntax. Below are my configurations files:
Have you had a look into io's documentation [1]? There you can find a description of how to define devices and how to assign them to virtual busses.
Best, Matthias.
[1] http://l4re.org/doc/io.html
Thank you very much in advance.
Best regards, Mahdi
======= l4lx.cfg =======
-- vim:set ft=lua:
local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end
loader = L4.default_loader; vbus_l4linux = loader:new_channel();
local shmns = L4.default_loader:create_namespace({ shm = "something"
});
local cons = L4.default_loader:new_channel();
L4.default_loader:start( { caps = { cons = cons:svr() }, log = L4.Env.log, }, "rom/cons -k -a");
L4.default_loader.log_fab = cons;
loader:start( { ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map, caps = { sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; l4linux = vbus_l4linux:svr(); },
log = { "IO", "y" }, l4re_dbg = L4.Dbg.Warn, }, "rom/io -vvv rom/arm-imx6.io http://arm-imx6.io");
L4.default_loader:start( { ldr_flags = L4.Ldr_flags.pinned_segs+L4.Ldr_flags.eager_map, caps = { vbus = vbus_l4linux; -- log = L4.Env.log:m("rws"), shmns = shmns:mode("rw") },
l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow", "key=1" }, }, "rom/" .. lxname .. " mem=512M l4memtype=pinned,continuous console=ttyLv0 l4x_rd=rom/ramdisk-4-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=200704 rw init=/bin/sh earlyprintk=1 showpfexc=1 showghos\ t=1 print-fatal-signals=1 l4shmnet.add=shmns,macpart=1");
========= arm-imx6.io http://arm-imx6.io =========
hw-root { NIC => new Device() { .hid = "imx6q-fec.0"; new-res Mmio(0x02188000 .. 0x0218BFFF); new-res Irq(150); new-res Irq(151); }
DMAMEM => new Device() { .hid = "dmamem"; new-res Mmio_ram(0x80000, 0); } }
l4linux => new System_bus() { #NIC => wrap(hw-root.NIC); "imx6q-fec.dev" => wrap(hw-root.NIC); "dmamem" => wrap(hw-root.DMAMEM); }
On Mon, Feb 29, 2016 at 1:34 PM, Mahdi Aichouch <foxmehdi@gmail.com mailto:foxmehdi@gmail.com> wrote:
Hello, I tried to run the Bro IDS on top of L4Linux and L4 Fiasco, on a Freescale i.MX6 ARM cortex A9. Starting the Bro program produces an unrecoverable error and make the L4 Fiasco enter an endless loop as shown below : Does anyone was able to run the Bro IDS on top of L4Linux on a ARMv7 board. Does someone has idea of how to track down the problem. Thank you very much in advance. Best regards, Mahdi /home # ./bro warning in /home/scripts/base/init-bare.bro, line 1: problem initializing NB-DNS: connect(0.0.0.0): Invalid argument KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr()) KERNEL: Warning: No page-fault handler for 0xffffffdc, error 0x9400084f, pc 0200ac80 /home/aichouch/dev/secure-hyp/l4re-snapshot-2014092821 <tel:2014092821>/src/kernel/fiasco/src/kern/arm/thread-arm.cpp:56: ASSERTION FAILED (r->check_valid_user_psr())
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers