Commit 842fbfcd authored by Ludovic Apvrille's avatar Ludovic Apvrille

Adding proverif directory

parent 8d4a2f37
#define CACHED_RAM0_NAME cram0
#define CACHED_RAM0_ADDR 0x10000000
#define CACHED_RAM0_SIZE 0x80000
#define CACHED_RAM0_SIZE 0x1000000
#define DEPLOY_RAM0_NAME uram0
#define DEPLOY_RAM0_ADDR 0x10280000
#define DEPLOY_RAM0_SIZE 0x80000
#define DEPLOY_RAM0_ADDR 0x11200000
#define DEPLOY_RAM0_SIZE 0x1000000
......@@ -27,6 +27,38 @@
.channel6 : { \
*(section_channel6)\
} > uram0\
.channel7 : { \
*(section_channel7)\
} > uram0\
.channel8 : { \
*(section_channel8)\
} > uram0\
.channel9 : { \
*(section_channel9)\
} > uram0\
.channel10 : { \
*(section_channel10)\
} > uram0\
.channel11 : { \
*(section_channel11)\
} > uram0\
.channel12 : { \
*(section_channel12)\
} > uram0\
.channel13 : { \
*(section_channel13)\
} > uram0\
.channel14 : { \
*(section_channel14)\
} > uram0\
.lock0 : { \
......@@ -56,3 +88,35 @@
.lock6 : { \
*(section_lock6)\
} > uram0\
.lock7 : { \
*(section_lock7)\
} > uram0\
.lock8 : { \
*(section_lock8)\
} > uram0\
.lock9 : { \
*(section_lock9)\
} > uram0\
.lock10 : { \
*(section_lock10)\
} > uram0\
.lock11 : { \
*(section_lock11)\
} > uram0\
.lock12 : { \
*(section_lock12)\
} > uram0\
.lock13 : { \
*(section_lock13)\
} > uram0\
.lock14 : { \
*(section_lock14)\
} > uram0\
......@@ -8,26 +8,30 @@
# Application license
CONFIG_LICENSE_APP_LGPL
# Libs
# Libs
CONFIG_PTHREAD
CONFIG_PTHREAD_MAIN
CONFIG_PTHREAD_TIME
CONFIG_PTHREAD_ATTRIBUTES
CONFIG_PTHREAD_STACK_SIZE 32768
CONFIG_LIBC_STREAM_STD
# CONFIG_MUTEK_TIMER undefined
CONFIG_LIBAVATAR
CONFIG_HEXO_INTTYPES_DEPRECATED undefined
CONFIG_LIBM
CONFIG_LIBC_STREAM
CONFIG_VFS
CONFIG_MWMR
CONFIG_MWMR_SOCLIB
CONFIG_MUTEK_SCHEDULER_STATIC
%include $(SRC_DIR)/examples/common/build_options.conf
%include $(SRC_DIR)/examples/common/platforms.conf
# inter-processor interrupts
# inter-processor interrupts
CONFIG_HEXO_IPI
# CONFIG_ARCH_SMP undefined
CONFIG_CPU_MAXCOUNT 5
CONFIG_ARCH_SMP
CONFIG_CPU_MAXCOUNT 5
......@@ -11,7 +11,7 @@ Uses('caba:vci_ethernet'),
Uses('caba:vci_rttimer'),
Uses('caba:vci_fd_access'),
Uses('caba:vci_simhelper'),
Uses('caba:vci_vgsb'),
Uses('caba:vci_vgmn'),
Uses('caba:vci_mwmr_stats'),
Uses('caba:vci_logger'),
Uses('caba:vci_local_crossbar'),
......
This directory contains proverif specifications generated by TTool.
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment