Xenomai for A13 - A10

[ehj666]

- vanilla 3.0.36-r1 (To make sure the base is sound)

So uImage_sunxi-v3.0.36-r1 is a vanilla kernal? I was not able to get it to boot, and worse, there was not much to indicate what went wrong. So far I have just had time to do a quick test on booting the kernel, I have not looked into it any closer.

Here is the beginning of the boot log for a working kernel:

Code Select Expand


U-Boot SPL 2012.10-04268-gf925eea (Feb 05 2013 - 19:19:54)
DRAM: 512MB
SUNXI SD/MMC: 0


U-Boot 2012.10-04268-gf925eea (Feb 05 2013 - 19:19:54) Allwinner Technology

CPU:   SUNXI Family
Board: A13-OLinuXino
I2C:   ready
DRAM:  512 MiB
MMC:   SUNXI SD/MMC: 0
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Hit any key to stop autoboot:  3  2  1  0
reading uEnv.txt

** Unable to read "uEnv.txt" from mmc 0:1 **
Loading file "uEnv.txt" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/uEnv.txt" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading boot.scr

** Unable to read "boot.scr" from mmc 0:1 **
Loading file "boot.scr" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/boot.scr" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading script.bin

28156 bytes read
reading uImage

3879212 bytes read
## Booting kernel from Legacy Image at 48000000 ...
   Image Name:   Linux-3.0.57+
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    3879148 Bytes = 3.7 MiB
   Load Address: 40008000
   Entry Point:  40008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

<6>Initializing cgroup subsys cpuset

<5>Linux version 3.0.57+


And here is the boot log of that kernel up to the point it freezes:

Code Select Expand


U-Boot SPL 2012.10-04268-gf925eea (Feb 05 2013 - 19:19:54)
DRAM: 512MB
SUNXI SD/MMC: 0


U-Boot 2012.10-04268-gf925eea (Feb 05 2013 - 19:19:54) Allwinner Technology

CPU:   SUNXI Family
Board: A13-OLinuXino
I2C:   ready
DRAM:  512 MiB
MMC:   SUNXI SD/MMC: 0
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Hit any key to stop autoboot:  3  2  1  0
reading uEnv.txt

** Unable to read "uEnv.txt" from mmc 0:1 **
Loading file "uEnv.txt" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/uEnv.txt" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading boot.scr

** Unable to read "boot.scr" from mmc 0:1 **
Loading file "boot.scr" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/boot.scr" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading script.bin

28156 bytes read
reading uImage

3825264 bytes read
## Booting kernel from Legacy Image at 48000000 ...
   Image Name:   Linux-3.0.36+
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    3825200 Bytes = 3.6 MiB
   Load Address: 40008000
   Entry Point:  40008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...



[Tele]

And here is the boot log of that kernel up to the point it freezes:
...

Hi Eric and uMinded,

I assume that you are logging on a serial port, and it looks like kernel freezes at the starting point.
Im almost sure that the problem is the bad uart port number. There is a config parameter for the kernel .config file (if you type make menuconfig):
CONFIG_SW_DEBUG_UART
and it must be 1 on my Oli card. In the A13_defconfig, that param is 0.

uMinded, please compile the kernel with that parameter also (System Type --> UART to use for low-level debug)
, and/or share the configuration file to check.

Eric, you said that vanilla didnt work, I think the problem was just the same. Type 'make menuconfig' then set the above parameter to the opposite value as the current one (0 or 1), then make a try.

[Tele]

CONFIG_SW_DEBUG_UART

Maybe I was confusing, I explain this in details. The default config of the kernel is the .config file in the root of the kernel source dir. (it begins with dot so its hidden). If you build the kernel without that current config file than you have to set the default config explicitly.
You just do it with:

Code Select Expand


make ARCH=arm a13_defconfig

The make will use the ./arch/arm/configs/a13_defconfig file for configuration.

But if you copy the default configuration (you wanna modify it or something):

Code Select Expand


cp ./arch/arm/configs/a13_defconfig ./.config

And then you modify this .config by:

Code Select Expand

make menuconfig
then you must not call make with 'a13_defconfig' anymore, just simply

Code Select Expand


make

is enough to build the whole kernel.
Now you can see the problem:
In the sunxi_3.0 kernel in the a13_defconfig file the CONFIG_SW_DEBUG_UART=1
In the sunxi_3.0.36 kernel in the a13_defconfig file the CONFIG_SW_DEBUG_UART=0 so the the kernel sends the characters to the other console uart, you wont see nothing but "Starting Kernel..." then big silence.

Im sorry if I repeated obvious well known boring things, just I thought I wasnt exactly clear before.
Have nice weekend.

[uMinded]

Thanks for the info, I don't have a board so I was just compiling what I thought I needed. Can anybody post a known working .config to pastebin.com so I can make sure I have a stable base?

Also my router and adsl modem died in a power outage yesterday in the early morning so I am on my cell phone right now and can not upload very quick. I will see if I can get the uImage uploaded at least but the modules are a 600mb beast so I will upload that when I get internet back. (Hopefully by this evening)

EDIT:
I switched my files to google drive as my dropbox is to small.
3.0.36-r1 SW_DEBUG_UART=1

[ehj666]

Eric, you said that vanilla didnt work, I think the problem was just the same. Type 'make menuconfig' then set the above parameter to the opposite value as the current one (0 or 1), then make a try.

I pulled the kernel posted by uMinded from github and made the suggested change. That was it and it did boot. It appears that was the vanilla kernel, as there were no references to Xenomai in the boot log, nor can I run 'xeno'.

The boot log is posted here:
http://pastebin.com/d1tmR9TY

[ehj666]

Thanks for the info, I don't have a board so I was just compiling what I thought I needed. Can anybody post a known working .config to pastebin.com so I can make sure I have a stable base?

Also my router and adsl modem died in a power outage yesterday in the early morning so I am on my cell phone right now and can not upload very quick. I will see if I can get the uImage uploaded at least but the modules are a 600mb beast so I will upload that when I get internet back. (Hopefully by this evening)

EDIT:
I switched my files to google drive as my dropbox is to small.
3.0.36-r1 SW_DEBUG_UART=1

I tried the kernel and found that it would freeze up in a couple different spots (3 so far). The furthest I got is posted here:
http://pastebin.com/tpCw9fkk

The last line is:

Code Select Expand

[....] Checking file systems...fsck from util-linux 2.20.1

I let it run for at least 1/2 hour to see if it would complete, but so far has not.

[Tele]

I pulled the kernel posted by uMinded from github and made the suggested change. That was it and it did boot. It appears that was the vanilla kernel, as there were no references to Xenomai in the boot log, nor can I run 'xeno'.

The boot log is posted here:
http://pastebin.com/d1tmR9TY

That would be a good base for uMinded. Eric could you send this .config to him please ? It should work after xenomai and timer patch. At least I hope so.

[uMinded]

I pulled the kernel posted by uMinded from github and made the suggested change. That was it and it did boot. It appears that was the vanilla kernel, as there were no references to Xenomai in the boot log, nor can I run 'xeno'.

Can you please dump your .config to pastebin, their must be some memory offsets or something in the kernel that the a13_defconfig does not set up correctly. Once I get by bloody internet fixed I can push my xenomai and ipipe changes to the git.

EDIT:
You can pull a copy of the xenomai-2.6.2.1 branch off my repo and it will have my ported ipipe code. Copy your .config to a safe place before the pull and then copy it back and do a make menuconfig to select the real-time systems.

[ehj666]

That would be a good base for uMinded. Eric could you send this .config to him please ? It should work after xenomai and timer patch. At least I hope so.

Here is the config file:
http://pastebin.com/Ui8B8sVU

[uMinded]

Thanks for the post. The only difference between the a13_defconfig and your working one is that SW_DEBUG_UART=1

I did some drunk driving around my git repo and it needs some serious help but the master and xeno branches work and compile clean. I am in the process of making this a full fledged project by setting up an eclipse project for the kernel, properly branching and merging my IPIPE patch and setting up a decent readme to follow. This is handy so that when I have a board I can attach to the debugger on the olinuxino and do proper analysis.

Can you give this one a try:
uImage - 3.0.36-r1-xenomai It should report Xenomai in the kernel log.

[uMinded]

xenomai-2.6.2.1 userspace programs (18MB - 7zip Format)

If you extract the archive above to the root of the SDCard then you will have the complete Xenomai userspace suite. You can run xeno-test in /usr/xenomai/bin and hopefully you get something besides a segfault!

On Olinuxino:

Code Select Expand


$ sudo addgroup xenomai
$ sudo usermod -a -G xenomai USERNAME
$ id
uid=XXXX gid=YYYY

$ sudo cp /etc/ld.so.conf.d/libc.conf /etc/ld.so.conf.d/xenomai.conf
$sudo nano /etc/ld.so.conf.d/xenomai.conf
  # xenomai libs
  /usr/local/lib

$sudo ldconfig


In script.bin put your gid in:

Code Select Expand

append `xeno_nucleus.xenomai_gid=YYYY` to the kernel line

[Tele]

I donno where is Eric. Sorry I cant make a try till Monday.

[crubille]

Hello, as i tell you, i cant send news from a few days, but, at this time, i can get a running IPIPE kernel on the A13. The patch is not the one from uminded.

It is a 3.4.24 version.

The kernel boot, and i dont have any bad behaviour.

I get coherent infos in /proc/ipipe/trace/max:

Code Select Expand


CPU: 0, Begin: 335309655 cycles, Trace Points: 3792, ...
Calibrated minimum trace-point overhead: 0:800 us

...
...
...


dmesg | grep ipipe
show too a lot of messages and it look to be ok.

I have to recompile to see if it is ok with xenomai.

[Tele]

Can you give this one a try:
uImage - 3.0.36-r1-xenomai It should report Xenomai in the kernel log.

Code Select Expand



U-Boot SPL 2012.10-rc1-03956-gd7ea23d (Oct 11 2012 - 15:48:58)
MMC:   SUNXI SD/MMC: 0
Loading U-Boot...   OK!
Jumping to U-Boot...


U-Boot 2012.10-rc1-03956-gd7ea23d (Oct 11 2012 - 15:48:58) Allwinner Technology

CPU:   SUNXI Family
Board: A13-OLinuXino
I2C:   ready
DRAM:  512 MiB
MMC:   SUNXI SD/MMC: 0
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Hit any key to stop autoboot:  0
reading uEnv.txt

** Unable to read "uEnv.txt" from mmc 0:1 **
Loading file "uEnv.txt" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/uEnv.txt" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading boot.scr

** Unable to read "boot.scr" from mmc 0:1 **
Loading file "boot.scr" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/boot.scr" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading script.bin

28156 bytes read
reading uImage

4008320 bytes read
## Booting kernel from Legacy Image at 48000000 ...
   Image Name:   Linux-3.0.36-r1-xenomai+
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    4008256 Bytes = 3.8 MiB
   Load Address: 40008000
   Entry Point:  40008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

<6>Initializing cgroup subsys cpuset
<5>Linux version 3.0.36-r1-xenomai+ (uminded@uminded-desktop) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #11 PREEMPT Sat Feb 16 22:28:49 CST 2013
CPU: ARMv7 Processor [413fc082] revision 2 (ARMv7), cr=10c5387d
CPU: VIPT nonaliasing data cache, VIPT aliasing instruction cache
Machine: sun5i
DRAM: 512<6>Total Detected Memory: 512MB with 1 banks
<4>Ignoring unrecognised tag 0x00000000
<6>Memory Reserved(in bytes):
<6>     LCD: 0x5a000000, 0x02000000
<6>     SYS: 0x43000000, 0x00010000
<6>     G2D: 0x58000000, 0x01000000
<6>     VE : 0x44000000, 0x05000000
Memory policy: ECC disabled, Data cache writeback
<7>On node 0 totalpages: 114688
<7>free_area_init_node: node 0, pgdat c079a1b0, node_mem_map c09e2000
<7>  Normal zone: 896 pages used for memmap
<7>  Normal zone: 0 pages reserved
<7>  Normal zone: 113792 pages, LIFO batch:31
<7>pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768
<7>pcpu-alloc: [0] 0
Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 113792
<5>Kernel command line: console=ttyS0,115200 root=/dev/mmcblk0p2 rootwait loglevel=8 panic=10
<6>PID hash table entries: 2048 (order: 1, 8192 bytes)
<6>Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
<6>Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
<6>Memory: 448MB = 448MB total
<5>Memory: 329852k/329852k available, 128900k reserved, 0K highmem
<5>Virtual kernel memory layout:
    vector  : 0xffff0000 - 0xffff1000   (   4 kB)
    fixmap  : 0xfff00000 - 0xfffe0000   ( 896 kB)
    DMA     : 0xffc00000 - 0xffe00000   (   2 MB)
    vmalloc : 0xdc800000 - 0xf0000000   ( 312 MB)
    lowmem  : 0xc0000000 - 0xdc000000   ( 448 MB)
    pkmap   : 0xbfe00000 - 0xc0000000   (   2 MB)
    modules : 0xbf000000 - 0xbfe00000   (  14 MB)
      .init : 0xc0008000 - 0xc0032000   ( 168 kB)
      .text : 0xc0032000 - 0xc075c000   (7336 kB)
      .data : 0xc075c000 - 0xc079f9f8   ( 271 kB)
       .bss : 0xc079fa1c - 0xc09e1d80   (2313 kB)
<6>SLUB: Genslabs=11, HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
<6>NR_IRQS:96 nr_irqs:96 96
<6>timer0: Periodic Mode
<6>I-pipe 1.18-11: pipeline enabled.
<6>Console: colour dummy device 80x30
<3>ram_console: buffer   (null), invalid size 0, datasize 4294967284
<6>Calibrating delay loop... <c>1001.88 BogoMIPS (lpj=5009408)
<6>pid_max: default: 32768 minimum: 301
<6>Mount-cache hash table entries: 512
<6>Initializing cgroup subsys cpuacct
<6>Initializing cgroup subsys devices
<6>Initializing cgroup subsys freezer
<6>Initializing cgroup subsys blkio
<6>CPU: Testing write buffer coherency: ok
<6>hw perfevents: enabled with ARMv7 Cortex-A8 PMU driver, 5 counters available
<6>devtmpfs: initialized
<6>print_constraints: dummy:
<6>NET: Registered protocol family 16
<6>hw-breakpoint: debug architecture 0x4 unsupported.
<6>I-pipe, 300.000 MHz clocksource
SOFTWINNER DMA Driver, (c) 2003-2004,2006 Simtec Electronics
<6>Initialize DMAC OK
<6>bio: create slab <bio-0> at 0
<5>SCSI subsystem initialized
<6>usbcore: registered new interface driver usbfs
<6>usbcore: registered new interface driver hub
<6>usbcore: registered new device driver usb
<6>Advanced Linux Sound Architecture Driver Version 1.0.24.
Init eGon pin module V2.0
<6>cfg80211: Calling CRDA to update world regulatory domain
<6>Switching to clocksource ipipe_tsc
<5>FS-Cache: Loaded
<6>CacheFiles: Loaded
[usb_manager]: CONFIG_USB_SW_SUN5I_USB0_OTG
[sw_hcd0]: usb host driver initialize........
[sw_hcd0]: [sw_hcd_host0]: open_usb_clock
[hcd0]: open, 0x60(0xc141), 0xcc(0x143)
[sw_hcd0]: host_init_state = 0
[sw_hcd0]: platform is usb host
[sw_hcd0]: sw_hcd_init_controller: sw_hcd_host0: USB Host mode controller at f1c13000 using PIO, IRQ 38
<6>sw_hcd_host0 sw_hcd_host0: sw_hcd host driver
<6>sw_hcd_host0 sw_hcd_host0: new USB bus registered, assigned bus number 1
<6>hub 1-0:1.0: USB hub found
<6>hub 1-0:1.0: 1 port detected
wrn: hcd is not enable, need not start hcd
[sw_hcd0]: sw_usb_host0_disable start
-------sw_hcd0_soft_disconnect---------
[sw_hcd_host0]: Set USB Power OFF
wrn: hcd is not enable, need not stop hcd
[sw_hcd0]: sw_usb_host0_disable end
[sw_udc]: udc_init: version 20080411
axp driver uning configuration failed(561)
axp driver uning configuration failed(573)
<6>NET: Registered protocol family 2
<6>IP route cache hash table entries: 4096 (order: 2, 16384 bytes)
<6>TCP established hash table entries: 16384 (order: 5, 131072 bytes)
<6>TCP bind hash table entries: 16384 (order: 4, 65536 bytes)
<6>TCP: Hash tables configured (established 16384 bind 16384)
<6>TCP reno registered
<6>UDP hash table entries: 256 (order: 0, 4096 bytes)
<6>UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
<6>NET: Registered protocol family 1
<6>RPC: Registered named UNIX socket transport module.
<6>RPC: Registered udp transport module.
<6>RPC: Registered tcp transport module.
<6>RPC: Registered tcp NFSv4.1 backchannel transport module.
[pm]aw_pm_init!
<6>audit: initializing netlink socket (disabled)
<5>type=2000 audit(0.160:1): initialized
<6>I-pipe: Domain Xenomai registered.
<6>Xenomai: hal/arm started.
<6>Xenomai: scheduling class idle registered.
<6>Xenomai: scheduling class rt registered.

U-Boot SPL 2012.10-rc1-03956-gd7ea23d (Oct 11 2012 - 15:48:58)
MMC:   SUNXI SD/MMC: 0
Loading U-Boot...   OK!
Jumping to U-Boot...


U-Boot 2012.10-rc1-03956-gd7ea23d (Oct 11 2012 - 15:48:58) Allwinner Technology

CPU:   SUNXI Family
Board: A13-OLinuXino
I2C:   ready
DRAM:  512 MiB
MMC:   SUNXI SD/MMC: 0
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Hit any key to stop autoboot:  0
reading uEnv.txt

** Unable to read "uEnv.txt" from mmc 0:1 **
Loading file "uEnv.txt" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/uEnv.txt" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading boot.scr

** Unable to read "boot.scr" from mmc 0:1 **
Loading file "boot.scr" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/boot.scr" from mmc device 0:1 xxa1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading script.bin

28156 bytes read
reading uImage

4008320 bytes read
## Booting kernel from Legacy Image at 48000000 ...
   Image Name:   Linux-3.0.36-r1-xenomai+
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    4008256 Bytes = 3.8 MiB
   Load Address: 40008000
   Entry Point:  40008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

<6>Initializing cgroup subsys cpuset
<5>Linux version 3.0.36-r1-xenomai+ (uminded@uminded-desktop) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #11 PREEMPT Sat Feb 16 22:28:49 CST 2013
CPU: ARMv7 Processor [413fc082] revision 2 (ARMv7), cr=10c5387d
CPU: VIPT nonaliasing data cache, VIPT aliasing instruction cache
Machine: sun5i
DRAM: 512<6>Total Detected Memory: 512MB with 1 banks
<4>Ignoring unrecognised tag 0x00000000
<6>Memory Reserved(in bytes):
<6>     LCD: 0x5a000000, 0x02000000
<6>     SYS: 0x43000000, 0x00010000
<6>     G2D: 0x58000000, 0x01000000
<6>     VE : 0x44000000, 0x05000000
Memory policy: ECC disabled, Data cache writeback
<7>On node 0 totalpages: 114688
<7>free_area_init_node: node 0, pgdat c079a1b0, node_mem_map c09e2000
<7>  Normal zone: 896 pages used for memmap
<7>  Normal zone: 0 pages reserved
<7>  Normal zone: 113792 pages, LIFO batch:31
<7>pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768
<7>pcpu-alloc: [0] 0
Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 113792
<5>Kernel command line: console=ttyS0,115200 root=/dev/mmcblk0p2 rootwait loglevel=8 panic=10
<6>PID hash table entries: 2048 (order: 1, 8192 bytes)
<6>Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
<6>Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
<6>Memory: 448MB = 448MB total
<5>Memory: 329852k/329852k available, 128900k reserved, 0K highmem
<5>Virtual kernel memory layout:
    vector  : 0xffff0000 - 0xffff1000   (   4 kB)
    fixmap  : 0xfff00000 - 0xfffe0000   ( 896 kB)
    DMA     : 0xffc00000 - 0xffe00000   (   2 MB)
    vmalloc : 0xdc800000 - 0xf0000000   ( 312 MB)
    lowmem  : 0xc0000000 - 0xdc000000   ( 448 MB)
    pkmap   : 0xbfe00000 - 0xc0000000   (   2 MB)
    modules : 0xbf000000 - 0xbfe00000   (  14 MB)
      .init : 0xc0008000 - 0xc0032000   ( 168 kB)
      .text : 0xc0032000 - 0xc075c000   (7336 kB)
      .data : 0xc075c000 - 0xc079f9f8   ( 271 kB)
       .bss : 0xc079fa1c - 0xc09e1d80   (2313 kB)
<6>SLUB: Genslabs=11, HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
<6>NR_IRQS:96 nr_irqs:96 96
<6>timer0: Periodic Mode
<6>I-pipe 1.18-11: pipeline enabled.
<6>Console: colour dummy device 80x30
<3>ram_console: buffer   (null), invalid size 0, datasize 4294967284
<6>Calibrating delay loop... <c>1001.88 BogoMIPS (lpj=5009408)
<6>pid_max: default: 32768 minimum: 301
<6>Mount-cache hash table entries: 512
<6>Initializing cgroup subsys cpuacct
<6>Initializing cgroup subsys devices
<6>Initializing cgroup subsys freezer
<6>Initializing cgroup subsys blkio
<6>CPU: Testing write buffer coherency: ok
<6>hw perfevents: enabled with ARMv7 Cortex-A8 PMU driver, 5 counters available
<6>devtmpfs: initialized
<6>print_constraints: dummy:
<6>NET: Registered protocol family 16
<6>hw-breakpoint: debug architecture 0x4 unsupported.
<6>I-pipe, 300.000 MHz clocksource
SOFTWINNER DMA Driver, (c) 2003-2004,2006 Simtec Electronics
<6>Initialize DMAC OK
<6>bio: create slab <bio-0> at 0
<5>SCSI subsystem initialized
<6>usbcore: registered new interface driver usbfs
<6>usbcore: registered new interface driver hub
<6>usbcore: registered new device driver usb
<6>Advanced Linux Sound Architecture Driver Version 1.0.24.
Init eGon pin module V2.0
<6>cfg80211: Calling CRDA to update world regulatory domain
<6>Switching to clocksource ipipe_tsc
<5>FS-Cache: Loaded
<6>CacheFiles: Loaded
[usb_manager]: CONFIG_USB_SW_SUN5I_USB0_OTG
[sw_hcd0]: usb host driver initialize........
[sw_hcd0]: [sw_hcd_host0]: open_usb_clock
[hcd0]: open, 0x60(0xc141), 0xcc(0x143)
[sw_hcd0]: host_init_state = 0
[sw_hcd0]: platform is usb host
[sw_hcd0]: sw_hcd_init_controller: sw_hcd_host0: USB Host mode controller at f1c13000 using PIO, IRQ 38
<6>sw_hcd_host0 sw_hcd_host0: sw_hcd host driver
<6>sw_hcd_host0 sw_hcd_host0: new USB bus registered, assigned bus number 1
<6>hub 1-0:1.0: USB hub found
<6>hub 1-0:1.0: 1 port detected
wrn: hcd is not enable, need not start hcd
[sw_hcd0]: sw_usb_host0_disable start
-------sw_hcd0_soft_disconnect---------
[sw_hcd_host0]: Set USB Power OFF
wrn: hcd is not enable, need not stop hcd
[sw_hcd0]: sw_usb_host0_disable end
[sw_udc]: udc_init: version 20080411
axp driver uning configuration failed(561)
axp driver uning configuration failed(573)
<6>NET: Registered protocol family 2
<6>IP route cache hash table entries: 4096 (order: 2, 16384 bytes)
<6>TCP established hash table entries: 16384 (order: 5, 131072 bytes)
<6>TCP bind hash table entries: 16384 (order: 4, 65536 bytes)
<6>TCP: Hash tables configured (established 16384 bind 16384)
<6>TCP reno registered
<6>UDP hash table entries: 256 (order: 0, 4096 bytes)
<6>UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
<6>NET: Registered protocol family 1
<6>RPC: Registered named UNIX socket transport module.
<6>RPC: Registered udp transport module.
<6>RPC: Registered tcp transport module.
<6>RPC: Registered tcp NFSv4.1 backchannel transport module.
[pm]aw_pm_init!
<6>audit: initializing netlink socket (disabled)
<5>type=2000 audit(0.160:1): initialized
<6>I-pipe: Domain Xenomai registered.
<6>Xenomai: hal/arm started.
<6>Xenomai: scheduling class idle registered.
<6>Xenomai: scheduling class rt registered.


Then it freezes. Doesn't boot, no login prompt. It seems xenomai is broken.
Any idea? Try to compile it with higher log level, we get more useful info maybe, I donno.

[ehj666]

Can you give this one a try:
uImage - 3.0.36-r1-xenomai It should report Xenomai in the kernel log.

Sorry for the delay guys, I had other obligations yesterday.

At any rate, tried that kernel and it is reporting as a Xenomai kernel. It is still locking up on boot however. Here is the boot log up to the point where it freezes.

Code Select Expand


U-Boot SPL 2012.10-04268-gf925eea (Feb 05 2013 - 19:19:54)
DRAM: 512MB
SUNXI SD/MMC: 0

U-Boot 2012.10-04268-gf925eea (Feb 05 2013 - 19:19:54) Allwinner Technology

CPU:   SUNXI Family
Board: A13-OLinuXino
I2C:   ready
DRAM:  512 MiB
MMC:   SUNXI SD/MMC: 0
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Hit any key to stop autoboot:  3  2  1  0
reading uEnv.txt

** Unable to read "uEnv.txt" from mmc 0:1 **
Loading file "uEnv.txt" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/uEnv.txt" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading boot.scr

** Unable to read "boot.scr" from mmc 0:1 **
Loading file "boot.scr" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
Loading file "boot/boot.scr" from mmc device 0:1
Failed to mount ext2 filesystem...
** Bad ext2 partition or disk - mmc 0:1 **
ext2load - load binary file from a Ext2 filesystem

Usage:
ext2load <interface> <dev[:part]> [addr] [filename] [bytes]
    - load binary file 'filename' from 'dev' on 'interface'
      to address 'addr' from ext2 filesystem
reading script.bin

28156 bytes read
reading uImage

4008320 bytes read
## Booting kernel from Legacy Image at 48000000 ...
   Image Name:   Linux-3.0.36-r1-xenomai+
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    4008256 Bytes = 3.8 MiB
   Load Address: 40008000
   Entry Point:  40008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

<6>Initializing cgroup subsys cpuset
<5>Linux version 3.0.36-r1-xenomai+ (uminded@uminded-desktop) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #11 PREEMPT Sat Feb 16 22:28:49 CST 2013
CPU: ARMv7 Processor [413fc082] revision 2 (ARMv7), cr=10c5387d
CPU: VIPT nonaliasing data cache, VIPT aliasing instruction cache
Machine: sun5i
DRAM: 512<6>Total Detected Memory: 512MB with 1 banks
<4>Ignoring unrecognised tag 0x00000000
<6>Memory Reserved(in bytes):
<6> LCD: 0x5a000000, 0x02000000
<6> SYS: 0x43000000, 0x00010000
<6> G2D: 0x58000000, 0x01000000
<6> VE : 0x44000000, 0x05000000

Memory policy: ECC disabled, Data cache writeback
<7>On node 0 totalpages: 114688
<7>free_area_init_node: node 0, pgdat c079a1b0, node_mem_map c09e2000
<7>  Normal zone: 896 pages used for memmap
<7>  Normal zone: 0 pages reserved
<7>  Normal zone: 113792 pages, LIFO batch:31
<7>pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768
<7>pcpu-alloc: [0] 0

Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 113792
<5>Kernel command line: console=ttyS0,115200 root=/dev/mmcblk0p2 rootwait loglevel=8 panic=10
<6>PID hash table entries: 2048 (order: 1, 8192 bytes)
<6>Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
<6>Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
<6>Memory: 448MB = 448MB total
<5>Memory: 329852k/329852k available, 128900k reserved, 0K highmem
<5>Virtual kernel memory layout:
    vector  : 0xffff0000 - 0xffff1000   (   4 kB)
    fixmap  : 0xfff00000 - 0xfffe0000   ( 896 kB)
    DMA     : 0xffc00000 - 0xffe00000   (   2 MB)
    vmalloc : 0xdc800000 - 0xf0000000   ( 312 MB)
    lowmem  : 0xc0000000 - 0xdc000000   ( 448 MB)
    pkmap   : 0xbfe00000 - 0xc0000000   (   2 MB)
    modules : 0xbf000000 - 0xbfe00000   (  14 MB)
      .init : 0xc0008000 - 0xc0032000   ( 168 kB)
      .text : 0xc0032000 - 0xc075c000   (7336 kB)
      .data : 0xc075c000 - 0xc079f9f8   ( 271 kB)
       .bss : 0xc079fa1c - 0xc09e1d80   (2313 kB)
<6>SLUB: Genslabs=11, HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
<6>NR_IRQS:96 nr_irqs:96 96
<6>timer0: Periodic Mode
<6>I-pipe 1.18-11: pipeline enabled.
<6>Console: colour dummy device 80x30
<3>ram_console: buffer   (null), invalid size 0, datasize 4294967284
<6>Calibrating delay loop... <c>1001.88 BogoMIPS (lpj=5009408)
<6>pid_max: default: 32768 minimum: 301
<6>Mount-cache hash table entries: 512
<6>Initializing cgroup subsys cpuacct
<6>Initializing cgroup subsys devices
<6>Initializing cgroup subsys freezer
<6>Initializing cgroup subsys blkio
<6>CPU: Testing write buffer coherency: ok
<6>hw perfevents: enabled with ARMv7 Cortex-A8 PMU driver, 5 counters available
<6>devtmpfs: initialized
<6>print_constraints: dummy:
<6>NET: Registered protocol family 16
<6>hw-breakpoint: debug architecture 0x4 unsupported.
<6>I-pipe, 300.000 MHz clocksource
SOFTWINNER DMA Driver, (c) 2003-2004,2006 Simtec Electronics
<6>Initialize DMAC OK
<6>bio: create slab <bio-0> at 0
<5>SCSI subsystem initialized
<6>usbcore: registered new interface driver usbfs
<6>usbcore: registered new interface driver hub
<6>usbcore: registered new device driver usb
<6>Advanced Linux Sound Architecture Driver Version 1.0.24.
<6>cfg80211: Calling CRDA to update world regulatory domain
Init eGon pin module V2.0
<6>Switching to clocksource ipipe_tsc
<5>FS-Cache: Loaded
<6>CacheFiles: Loaded
[usb_manager]: CONFIG_USB_SW_SUN5I_USB0_OTG
[sw_hcd0]: usb host driver initialize........
[sw_hcd0]: [sw_hcd_host0]: open_usb_clock
[hcd0]: open, 0x60(0xc141), 0xcc(0x143)
[sw_hcd0]: host_init_state = 0
[sw_hcd0]: platform is usb host
[sw_hcd0]: sw_hcd_init_controller: sw_hcd_host0: USB Host mode controller at f1c13000 using PIO, IRQ 38
<6>sw_hcd_host0 sw_hcd_host0: sw_hcd host driver
<6>sw_hcd_host0 sw_hcd_host0: new USB bus registered, assigned bus number 1
<6>hub 1-0:1.0: USB hub found
<6>hub 1-0:1.0: 1 port detected
wrn: hcd is not enable, need not start hcd
[sw_hcd0]: sw_usb_host0_disable start
-------sw_hcd0_soft_disconnect---------
[sw_hcd_host0]: Set USB Power OFF
wrn: hcd is not enable, need not stop hcd
[sw_hcd0]: sw_usb_host0_disable end
[sw_udc]: udc_init: version 20080411
axp driver uning configuration failed(561)
axp driver uning configuration failed(573)
<6>NET: Registered protocol family 2
<6>IP route cache hash table entries: 4096 (order: 2, 16384 bytes)
<6>TCP established hash table entries: 16384 (order: 5, 131072 bytes)
<6>TCP bind hash table entries: 16384 (order: 4, 65536 bytes)
<6>TCP: Hash tables configured (established 16384 bind 16384)
<6>TCP reno registered
<6>UDP hash table entries: 256 (order: 0, 4096 bytes)
<6>UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
<6>NET: Registered protocol family 1
<6>RPC: Registered named UNIX socket transport module.
<6>RPC: Registered udp transport module.
<6>RPC: Registered tcp transport module.
<6>RPC: Registered tcp NFSv4.1 backchannel transport module.
[pm]aw_pm_init!
<6>audit: initializing netlink socket (disabled)
<5>type=2000 audit(0.150:1): initialized
<6>I-pipe: Domain Xenomai registered.
<6>Xenomai: hal/arm started.
<6>Xenomai: scheduling class idle registered.