Commit Graph

3014 Commits

Author SHA1 Message Date
Cobus van Eeden
d0cff20709 Added some URL files and move submodule pointer along (#254) 2020-09-09 14:31:07 -07:00
yngki
1d2e0ebee2 Update History.txt (#253) 2020-09-09 12:56:28 -07:00
Cobus van Eeden
4c6c4d2e84 Update kernel pointer to include Synopsis PR #110 2020-09-09 01:34:40 -07:00
Cobus van Eeden
f78ee3536a Reset error message on next check and update interval to 10s 2020-09-09 01:27:53 -07:00
Cobus van Eeden
04cf45fdbc Increase tracelyzer parameters to accomodate full demo scope 2020-09-09 01:26:46 -07:00
Cobus van Eeden
34d9175ce0 Sync main_full demo to match the Windows Simulator test list 2020-09-09 00:02:07 -07:00
Cobus van Eeden
0d571fb2f1 Implement dumping the Tracelyzer trace when pressing enter (#252)
* Test: Press Enter to Trace dump on posix demo
* Test: allow tracedump multiple times
* Fix: main full demo
2020-09-09 00:02:07 -07:00
Cobus van Eeden
9b8258504c Added -D_WINDOWS_ which expands the timing margin on the Linux port full demo, and turned optimization off for better debugging 2020-09-08 22:47:11 -07:00
Cobus van Eeden
c0df730de7 Various small formatting and wording changes in Linux demo 2020-09-08 20:51:54 -07:00
Ming Yue
8ada8156e0 Fix the Posix port demo libpcap lib linking order issue in staic linking for WSL. (#251) 2020-09-08 18:24:28 -07:00
Cobus van Eeden
27d341e5ab Fixed spelling in main.c 2020-09-08 18:12:22 -07:00
alfred gedeon
939daef2f2 Fix: Make demo selector more user friendly (#249)
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
2020-09-08 14:50:15 -07:00
Cobus van Eeden
21644934d7 Removed reference to kbhit() which is no longer in the code 2020-09-08 14:43:56 -07:00
Cobus van Eeden
bcc41c97fd Fix references to Linux instead of Windows 2020-09-08 14:42:09 -07:00
Aniruddha Kanhere
2621e60124 TCP: Update version number and History.txt (#247)
* Update the version number
* Update History.txt
2020-09-08 14:05:31 -07:00
Aniruddha Kanhere
40e410ee8e Create winbase.h (#248) 2020-09-08 12:15:59 -07:00
Cobus van Eeden
013b3d4b23 Move Kernel source pointer forward to latest 2020-09-08 00:35:56 -07:00
RichardBarry
00891e0c88 Remove unused variable from TaskNotifyArray.c that was causing a compiler warning. (#233) 2020-09-06 21:48:00 -07:00
alfred gedeon
6b502b5dd3 Build: replace scons with makefile (#235)
* Build: transform scons into Makefile
* Build: add Makefile dependencies
* Build: remove some tabs from Makefile
* Build: Make builds out of source, move wait for event to kernel port
* Test: update the full test to print status messages
* Build: replace lpthread with pthread

Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
2020-09-04 18:06:21 -07:00
Aniruddha Kanhere
c1b06040fe TCP: Update History.txt file (#243)
* Update the History.txt
2020-09-04 17:51:22 -07:00
Aniruddha Kanhere
889d3e8667 Create a new branch and address 10.8 warnings (#241) 2020-09-04 12:34:30 -07:00
NoMaY (a user of Japan.RenesasRulz.com)
6c86457bb7 Fix: Demo/RX100_RX113-RSK_Renesas_e2studio RTOS demo project build error (#224)
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
2020-09-04 11:29:33 -07:00
Aniruddha Kanhere
05b4d4fc64 Address various MISRA warnings v3 (#240)
* Add a branch and make MISRA changes

* initialize the value

* Update after Gary's comments
2020-09-03 15:20:45 -07:00
Aniruddha Kanhere
cacf4ad7f9 Address various MISRA warnings v2 (#238)
* Address some MISRA warnings

* Change the return type

* Update FreeRTOS_Sockets.c
2020-09-02 15:37:44 -07:00
Aniruddha Kanhere
0341050048 Address MISRA errors of various kinds (#234)
* MISRA 21.15 changes

* MISRA 11.8 changes
2020-09-01 12:59:50 -07:00
Ming Yue
a72f040861 Fix the path and command in demo projects to make it compatiable to Linux and MacOS (#220)
* Update the the path in .launch file to make it compatiable with MacOS/Linux.

* Remove .exe from command and use slash in file path

Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
2020-09-01 11:05:23 -07:00
Ravishankar Bhagavandas
584517d467 cbmc: Add patch to remove overflow assert (#232) 2020-09-01 09:26:25 -07:00
Aniruddha Kanhere
18d238ad5c Address a few MISRA 2.2 violations in FreeRTOS_IP.c (#230)
* Make changes for MISRA rule 2.2

* Add comments to explain changes

* Fix a typo

* Actually fix a typo

I missed a spot in the previous commit.
2020-08-31 12:55:38 -07:00
Gary Wicker
e2ab092351 Address MISRA 21.15 violations in FreeRTOS_Sockets.c (#229)
* Use unsigned types/constants where needed.

* Address MISRA 21.15 violations in FreeRTOS_Sockets.c

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-08-31 12:05:59 -07:00
Aniruddha Kanhere
7cb57324fd TCP: Address MISRA rule 11.3 violations (Part 2) (#227) 2020-08-31 09:49:43 -07:00
Gary Wicker
bcd5dec6c4 Use unsigned types/constants where needed. (#226)
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-08-28 16:24:25 -07:00
Aniruddha Kanhere
3fc432f7be TCP: Address MISRA rule11.3 violations (#225) 2020-08-28 15:14:37 -07:00
Aniruddha Kanhere
66371d0cf0 Add CBMC proof for prvProcessEthernetPacket (#199)
* Add proof

* Remove and Rename files

* Modify the makefile

* Update Makefile.json

* Add _static to FreeRTOS_IP.c

* Update prvProcessEthernetPacket_harness.c

* Update the proof and add list to stubs

* add assertions

* Update the proof

* cleanup

* Update

* Update after @yanjos-dev's comment

* Remove unnecessary assumption
2020-08-27 16:25:17 -07:00
Aniruddha Kanhere
0b48e6a3b5 Utility macros to improve readability/static analysis. (#219)
* Update FreeRTOS_IP_Private.h

* Update FreeRTOS_Sockets.h

* Update FreeRTOS_DNS.c

* Correct version number

* Update version number

* Update version number
2020-08-27 15:37:03 -07:00
Nathan Chong
669084ee8f List proofs and signoff (#194) 2020-08-27 11:59:12 -07:00
Yuhui Zheng
6d35a38bdd Removed issue tempate for general inquiries, and hinted that users could use forum for such purpose. (#105) 2020-08-27 00:51:41 -07:00
alfred gedeon
638262fab1 Fix Posix demo build and remove src directory (#213)
* Fix: build errors, remove src directory and bring all files up
* Fix: Remove not needed header
* Doc: fix main comments
* Doc: fix comment

Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
2020-08-27 00:41:42 -07:00
RichardBarry
a9680a54cf Fix warnings after moving callback prototypes (#208)
* Recently the prototypes for the application hook functions were
moved out of the kernel .c files and into the .h files.  That
changes results in compile time warnings for projects that provide
hook functions with a slightly different prototype - in particular
where signed char * is used in place of just char * as an older
FreeRTOS coding convention required chars to be explicitly qualified
as signed or unsigned.

This checkin fixes the warnings by ensuring the signature of
implemented hook functions matches the signature of the prototypes.
2020-08-27 00:40:47 -07:00
Cobus van Eeden
4a026fd703 Move forward Kernel submodule pointer (#218)
* Move forward Kernel submodule pointer
* Fixing patches for CBMC proofs
* Update proofs to assume cTxLock != 127
* Update proofs to assume cRxLock != 127
2020-08-26 23:50:09 -07:00
Cobus van Eeden
a691c6199e Updating queue.c patches for CBMC proofs (#216) 2020-08-26 13:07:15 -07:00
Aniruddha Kanhere
86117b5173 CBMC proof for vProcessGeneratedUDPPacket (#203)
* Add Proof

* Update

* Update the proof

* Update the proof

* Clean-up

* Clean-up v2

* Update freertos_api.c

* update stub
2020-08-24 17:06:31 -07:00
Aniruddha Kanhere
3c573ad091 CBMC proof for ulARPRemoveCacheEntryByMac (#198)
* Add Proof

* update

* Delete ulARPRemoveCacheEntryByMAC_harness.c

* Changes after Mark's comments

* Update after @yanjos-dev's comment

* Remove confusing variable name

* Update ulARPRemoveCacheEntryByMac_harness.c
2020-08-24 16:46:50 -07:00
Aniruddha Kanhere
6eba275f89 CBMC: Add proof for vSocketBind (#202)
* Add proof

* Update

* Update MakefileCommon.json

* Undo changes

* Undo changes in MakefileCommon.json

* Update Makefile.json

* Update Makefile.json

* Update Makefile.json

* Change v1

* Change v2
2020-08-24 11:35:48 -07:00
David Chalco
1ae6eda77a RSK64M Demo - Fix build errors (#195)
* Fix linking errors. Define task notification array size
2020-08-14 10:05:09 -07:00
Ming Yue
d248555de5 Update #169 -- Percepio Tracealyzer Recorder v4.3.11 (#201)
* * Pull Request for Percepio Tracealyzer Recorder v4.3.11

* Update Tracealyzer demo config file.

Co-authored-by: Erik Tamlin <erik.tamlin@percepio.com>
2020-08-13 14:29:33 -07:00
Ming Yue
70dcbe4527 Remove unused wolfSSL files. (#197)
* Remove unused wolfSSL files.

* Add back some removed ciphers.

* Update VS project file.
2020-08-11 17:06:59 -07:00
RichardBarry
0e0edd96e8 Use new QEMU test project to improve stream/message buffer tests (#168)
* Add Eclipse/GCC project that targets the LM3S8962 QEMU model.

* Get the Cortex-M QEMU project working.

* Continue working on making stream buffer demo more robust and QEMU project.

* Rename directory CORTEX_LM3S8986_QEMU to CORTEX_LM3S6965_QEMU.
Work on making the Stream Buffer tests more robust.
Check in before adding in the trace recorder.

* Rename CORTEX_LM3S6969_QEMU to CORTEX_LM3S6969_GCC_QEMU.

* Make the StreamBufferDemo.c common demo file (test file) more robust to other test tasks running at an equally high priority.

* Work in progress checkin only - comments in main.c are incorrect.

* Correct comments at the top of FreeRTOS/Demo/CORTEX_LM3S6965_GCC_QEMU/main.c
Make the message buffer tests more robust in the case the a message buffer becomes full when prvSenderTask() has a higher priority than the reader task.

* Disable trace recorder in the LM3S6965 QEMU demo.

* I'm dropping FreeRTOS-Kernel reference update, since this seems to break the CMBC CI.

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
2020-08-11 10:50:30 -07:00
Gaurav-Aggarwal-AWS
157a7fc39f Use chacheable RAM in IAR project for MPU_M7_NUCLEO_H743ZI2 project (#193)
This change updates the IAR project for Nucleo H743ZI2 to use the
cacheable DTC RAM and enables L1 cache. In order to ensure the correct
functioning of cache, the project sets configTEX_S_C_B_SRAM in
FreeRTOSConfig.h to not mark the RAM as shareable.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2020-08-09 22:21:44 -07:00
Gaurav-Aggarwal-AWS
f3e43556f9 Add MPU demo projects for NUCLEO-H743ZI2 board (#155)
* Add MPU demo projects for NUCLEO-H743ZI2 board

It contains projects for Keil uVision, STM32CubeIDE and IAR EW. This
demo shows the use of newly added support for 16 MPU regions.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>

* Delete not needed CMSIS files

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2020-08-09 16:23:53 -07:00
TakayukiMatsuo
94aa31c3cb Update wolfSSL to the latest version(v.4.4.0) (#186)
* deleted old version wolfSSL before updating

* updated wolfSSL to the latest version(v4.4.0)

* updated wolfSSL to the latest version(v4.4.0)

* added macros for timing resistance

Co-authored-by: RichardBarry <3073890+RichardBarry@users.noreply.github.com>
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-08-07 15:58:14 -07:00