>> +BSP_fatal_exit(
>> LEON3_FATAL_INVALID_CACHE_CONFIG_SECONDARY_PROCESSOR );
>
> bsp_fatal()?
I wanted to use bsp_fatal, but it tries to acquire a ticket lock which
does not work when data cache snooping is disabled.
On 2014-07-09 09:28, Sebastian Huber wrote:
On 2014-07-09 09:02, Danie
On 2014-07-11 09:12, Daniel Cederman wrote:
>> +BSP_fatal_exit(
>> LEON3_FATAL_INVALID_CACHE_CONFIG_SECONDARY_PROCESSOR );
>
> bsp_fatal()?
I wanted to use bsp_fatal, but it tries to acquire a ticket lock which does not
work when data cache snooping is disabled.
Ok, can you please add
On 2014-07-09 09:02, Daniel Cederman wrote:
Check that data cache snooping exists and is enabled on all cores.
---
c/src/lib/libbsp/shared/include/fatal.h |2 ++
c/src/lib/libbsp/sparc/leon3/include/leon.h | 10 ++
c/src/lib/libbsp/sparc/leon3/startup/bspsmp.c |8 +++
