Indeed ... 

Making this pointer not null (initializing the tsc pointer) solve this
issue. Thanks again for your help.

Now I have the following situation in my xenomai boot process:

Starting
kernel ...                                                             
                                                                                
Uncompressing
Linux.............................................................
Linux version 2.6.29-rc8-davinci1 (fla...@flavio-laptop) (gcc version
4.3.3 (So0
CPU: ARM926EJ-S [41069265] revision 5 (ARMv5TEJ),
cr=00053177                   
CPU: VIVT data cache, VIVT instruction
cache                                    
Machine: DaVinci DA850
EVM                                                      
Memory policy: ECC disabled, Data cache
writeback                               
DA0850 variant
0x0                                                              
Built 1 zonelists in Zone order, mobility grouping on.  Total pages:
8128       
Kernel command line: mem=32M console=ttyS2,115200n8 root=/dev/ram0 rw
initrd=0x1
PID hash table entries: 128 (order: 7, 512
bytes)                               
I-pipe 1.13-03: pipeline
enabled.                                               
Console: colour dummy device
80x30                                              
Dentry cache hash table entries: 4096 (order: 2, 16384
bytes)                   
Inode-cache hash table entries: 2048 (order: 1, 8192
bytes)                     
Memory: 32MB = 32MB
total                                                       
Memory: 24248KB available (3580K code, 368K data, 148K
init)                    
Calibrating delay loop... 149.09 BogoMIPS
(lpj=745472)                          
Mount-cache hash table entries:
512                                             
CPU: Testing write buffer coherency:
ok                                         
net_namespace: 880
bytes                                                        
NET: Registered protocol family
16                                              
Pin I2C1_SCL already used for
UART2_RXD.                                        
Pin I2C1_SDA already used for
UART2_TXD.                                        
DaVinci: 144 gpio
irqs                                                          
bio: create slab <bio-0> at
0                                                   
SCSI subsystem
initialized                                                      
usbcore: registered new interface driver
usbfs                                  
usbcore: registered new interface driver
hub                                    
usbcore: registered new device driver
usb                                       
musb_hdrc: version 6.0, cppi4.1-dma, host,
debug=0                              
Waiting for PHY clock
good...                                                   
musb_hdrc: USB Host mode controller at fee00000 using DMA, IRQ
58               
musb_hdrc musb_hdrc: MUSB HDRC host
driver                                      
musb_hdrc musb_hdrc: new USB bus registered, assigned bus number
1              
usb usb1: configuration #1 chosen from 1
choice                                 
hub 1-0:1.0: USB hub
found                                                      
hub 1-0:1.0: 1 port
detected                                                    
NET: Registered protocol family
2                                               
IP route cache hash table entries: 1024 (order: 0, 4096
bytes)                  
TCP established hash table entries: 1024 (order: 1, 8192
bytes)                 
TCP bind hash table entries: 1024 (order: 0, 4096
bytes)                        
TCP: Hash tables configured (established 1024 bind
1024)                        
TCP reno
registered                                                             
NET: Registered protocol family
1                                               
checking if image is initramfs...it isn't (no cpio magic); looks like an
initrd 
Freeing initrd memory:
4096K                                                    
I-pipe: Domain Xenomai
registered.                                              
Xenomai: hal/arm
started.                                                       
Xenomai: real-time nucleus v2.4.9.1 (Big Bad Moon)
loaded.                      
Xenomai: starting native API
services.                                          
Xenomai: starting POSIX
services.                                               
Xenomai: starting RTDM
services.                                                
msgmni has been set to
55                                                       
io scheduler noop
registered                                                    
io scheduler anticipatory registered
(default)                                  
Serial: 8250/16550 driver, 3 ports, IRQ sharing
disabled                        
serial8250.0: ttyS0 at MMIO 0x1c42000 (irq = 25) is a
16550A                    
serial8250.0: ttyS1 at MMIO 0x1d0c000 (irq = 53) is a
16550A                    
serial8250.0: ttyS2 at MMIO 0x1d0d000 (irq = 61) is a
16550A                    
console [ttyS2]
enabled                                                         
brd: module
loaded                                                              
davinci_emac_probe: using random MAC addr:
6a:c9:27:5d:9b:5c                    
emac-mii:
probed                                                                
dm9000 Ethernet Driver,
V1.31                                                   
console [netcon0]
enabled                                                       
netconsole: network logging
started                                             
Linux video capture interface:
v2.00                                            
Driver 'sd' needs updating - please use bus_type
methods                        
ahci ahci: forcing PORTS_IMPL to
0x1                                            
ahci ahci: AHCI 0001.0100 32 slots 1 ports 3 Gbps 0x1 impl SATA
mode            
ahci ahci: flags: ncq sntf pm led clo only pmp pio slum
part                    
scsi0 :
ahci                                                                    
ata1: SATA max UDMA/133 irq
67                                                  

I still cannot boot my kernel using xenomai.

I would like to ask you some advice about the reasons why the kernel
boot stops at this point?

Thanks again for all the help

Best regards,

Flavio

On Seg, 2010-01-04 at 23:22 +0100, Gilles Chanteperdrix wrote:

> Flavio Alves wrote:
> > <1>Unable to handle kernel NULL pointer dereference at virtual address 
> > 00000000 
> > Looking at the code (and perform some analysis) I saw that the call that
> > is crashing the kernel is:
> > 
> >  __asm__("ldmia %1, %M0\n":
> >         "=r"(result.full): "r"(local_tsc), "m"(*local_tsc));
> > 
> > And looking into the implementation of this function for other
> > platforms, I can see that it is the same instruction, without
> > difference.
> 
> On all other platforms the "local_tsc" pointer is not NULL...
> 










Flavio de
Castro Alves
Filho
[email protected]

Tel.: + 55 11
8494-5676
Embedded
Software
Services

www.phiinnovations.com











Escritórios::
São Paulo
Campinas


<<attachment: logo.gif>>

_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help

Reply via email to