adukot

[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Initializing cgroup subsys cpuacct
[    0.000000] Linux version 3.10.17-poky-edison+ (sys_dswci@ncsndgbuild04) (gcc version 4.8.2 (GCC) ) #1 SMP PREEMPT Mon Sep 8 14:09:55 CEST 2014
[    0.000000] e820: BIOS-provided physical RAM map:
[    0.000000] BIOS-e820: [mem 0x0000000000000000-0x0000000000097fff] usable
[    0.000000] BIOS-e820: [mem 0x0000000000100000-0x0000000003ffffff] usable
[    0.000000] BIOS-e820: [mem 0x0000000004000000-0x0000000005ffffff] reserved
[    0.000000] BIOS-e820: [mem 0x0000000006000000-0x000000003f4fffff] usable
[    0.000000] BIOS-e820: [mem 0x000000003f500000-0x000000003fffffff] reserved

adukot

00:00.0 Host bridge: Intel Corporation Device 1170 (rev 01)
	Flags: bus master, fast devsel, latency 0

00:01.0 SD Host controller: Intel Corporation Device 1190 (rev 01) (prog-if 01)
	Flags: bus master, fast devsel, latency 64
	Memory at ff3fc000 (32-bit, non-prefetchable) [size=256]
	Capabilities: [b0] Power Management version 3
	Capabilities: [b8] Vendor Specific Information: Len=08 <?>
	Capabilities: [c0] PCI-X non-bridge device

adukot

boot > fatls mmc 0:7
    59904   ldlinux.sys
      198   syslinux.cfg
  5124544   vmlinuz
   115472   ldlinux.c32

4 file(s), 0 dir(s)
boot > ext4ls mmc 0:4
Failed to mount ext2 filesystem...
** Unrecognized filesystem type **

adukot

boot > help
?       - alias for 'help'
askenv  - get environment variables from stdin
base    - print or set address offset
bdinfo  - print Board Info structure
boot    - boot default, i.e., run 'bootcmd'
bootd   - boot default, i.e., run 'bootcmd'
bootelf - Boot from an ELF image in memory
bootm   - boot application image from memory
bootvx  - Boot vxWorks from an ELF image

adukot

DDR Version 1.00 20121017
In
DDR3
freq
300MHz
config state
pctl
phy
mem

adukot

--- gic.c.orig  2014-09-16 16:05:27.000000000 +0000
+++ gic.c       2014-09-16 16:10:54.000000000 +0000
@@ -527,7 +527,7 @@
        bus_space_subregion(sc->sc_memt, mpcaa->mpcaa_memh, mpcaa->mpcaa_off1,
            4096, &sc->sc_gicdh);
        bus_space_subregion(sc->sc_memt, mpcaa->mpcaa_memh, mpcaa->mpcaa_off2,
-           4096, &sc->sc_gicch);
+           256, &sc->sc_gicch);

        sc->sc_gic_type = gicd_read(sc, GICD_TYPER);