Hi Sathish,

Thanks for the log. The steps look fine to me. I also tried to
re-produce it, but did not get this error.


Could you please let us know:

* How did you configure/build sel4test (i.e. which *_defconfig file have
you used)?

* What toolchain do you use?

* Which sel4(test) release do yo use (with libraries)?

* Whether you've changed anything?

* What's in the faulting address you provided (objdump)?


Cheers,

Hesham


On 24/10/17 00:40, Sathish Kumar Balasubramaniam -ERS, HCL Tech wrote:
> I tried booting sel4test in bbb. but i got the following after u-boot.
> Any idea for this crash ?
>
> U-Boot# echo $loadaddr                                                        
>                                                  
> 0x82000000                                                                    
>                                                  
> U-Boot# fatload mmc 0 ${loadaddr} sel4test.bin                                
>                                                  
> reading sel4test.bin                                                          
>                                                  
> 4108544 bytes read in 245 ms (16 MiB/s)                                       
>                                                  
> U-Boot# go ${loadaddr}                                                        
>                                                  
> ## Starting application at 0x82000000 ...                                     
>                                                  
>                                                                               
>                                                  
> ELF-loader started on CPU: ARM Ltd. Cortex-A8 r3p2                            
>                                                  
>   paddr=[82000000..823fc81f]                                                  
>                                                  
> ELF-loading image 'kernel'                                                    
>                                                  
>   paddr=[80000000..80036fff]                                                  
>                                                  
>   vaddr=[f0000000..f0036fff]                                                  
>                                                  
>   virt_entry=f0000000                                                         
>                                                  
> ELF-loading image 'sel4test-driver'                                           
>                                                  
>   paddr=[80037000..80514fff]                                                  
>                                                  
>   vaddr=[8000..4e5fff]                                                        
>                                                  
>   virt_entry=21c9c                                                            
>                                                  
> Enabling MMU and paging                                                       
>                                                  
> Jumping to kernel-image entry point...                                        
>                                                  
>                                                                               
>                                                  
> Bootstrapping kernel                                                          
>                                                  
> Booting all finished, dropped to user space                                   
>                                                  
> Caught cap fault in send phase at address 0x0                                 
>                                                  
> while trying to handle:                                                       
>                                                  
> unknown syscall 0xf0005                                                       
>                                                  
> in thread 0xf7fec500 "rootserver" at address 0x18b60                          
>                                                  
> With stack:                                                                   
>                                                  
> 0x3d88a0: 0x84ac                                                              
>                                                  
> 0x3d88a4: 0x1711c                                                             
>                                                  
> 0x3d88a8: 0x46c0f                                                             
>                                                  
> 0x3d88ac: 0x0                                                                 
>                                                  
> 0x3d88b0: 0x84ac                                                              
>                                                  
> 0x3d88b4: 0x172cc                                                             
>                                                  
> 0x3d88b8: 0x3e5224                                                            
>                                                  
> 0x3d88bc: 0x46c0f                                                             
>                                                  
> 0x3d88c0: 0x84ac                                                              
>                                                  
> 0x3d88c4: 0xecfc                                                              
>                                                  
> 0x3d88c8: 0x31                                                                
>                                                  
> 0x3d88cc: 0x0                                                                 
>                                                  
> 0x3d88d0: 0x0                                                                 
>                                                  
> 0x3d88d4: 0x0                                                                 
>                                                  
> 0x3d88d8: 0x0                                                                 
>                                                  
> 0x3d88dc: 0x0                                  
>
>
> ::DISCLAIMER::
> ----------------------------------------------------------------------------------------------------------------------------------------------------
>
> The contents of this e-mail and any attachment(s) are confidential and 
> intended for the named recipient(s) only.
> E-mail transmission is not guaranteed to be secure or error-free as 
> information could be intercepted, corrupted,
> lost, destroyed, arrive late or incomplete, or may contain viruses in 
> transmission. The e mail and its contents
> (with or without referred errors) shall therefore not attach any liability on 
> the originator or HCL or its affiliates.
> Views or opinions, if any, presented in this email are solely those of the 
> author and may not necessarily reflect the
> views or opinions of HCL or its affiliates. Any form of reproduction, 
> dissemination, copying, disclosure, modification,
> distribution and / or publication of this message without the prior written 
> consent of authorized representative of
> HCL is strictly prohibited. If you have received this email in error please 
> delete it and notify the sender immediately.
> Before opening any email and/or attachments, please check them for viruses 
> and other defects.
>
> ----------------------------------------------------------------------------------------------------------------------------------------------------
>
>
> _______________________________________________
> Devel mailing list
> [email protected]
> https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to