summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update version number to V10.4.1 (#281)syncBack10_4_1David Chalco2020-09-171230-1230/+1230
|
* Move Kernel submodule pointer to 10.4.1V10.4.0-branchCobus van Eeden2020-09-171-0/+0
|
* Update kernel pointerV10.4.0Cobus van Eeden2020-09-151-0/+0
|
* Move released kernel pointer to the one where ASM files have the updated ↵Cobus van Eeden2020-09-141-0/+0
| | | | version number (#270)
* Update submodule pointer for Kernel to 10.4.0 versionCobus van Eeden2020-09-101-0/+0
|
* Update Version number to 10.4.0 (#237)David Chalco2020-09-101222-1228/+1228
|
* Tracelyzer version updates (#261)Cobus van Eeden2020-09-105-35/+71
| | | * Update Tracelyzer version numbers
* Adding some url files and moving the kernel pointer along (#260)Cobus van Eeden2020-09-101-0/+5
| | | | * Added some URL files and move submodule pointer along * Add SiFive_HiFive1_RTOS_demo.url
* Fix: Typo in posix networking demo (#259)alfred gedeon2020-09-101-1/+1
| | | Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
* Update main.cRichardBarry2020-09-091-1/+0
| | | Remove unused variable from the MingW demo's main.c file.
* Added some URL files and move submodule pointer along (#254)Cobus van Eeden2020-09-093-0/+10
|
* Update History.txt (#253)yngki2020-09-091-0/+41
|
* Update kernel pointer to include Synopsis PR #110Cobus van Eeden2020-09-091-0/+0
|
* Reset error message on next check and update interval to 10sCobus van Eeden2020-09-091-2/+5
|
* Increase tracelyzer parameters to accomodate full demo scopeCobus van Eeden2020-09-091-4/+4
|
* Sync main_full demo to match the Windows Simulator test listCobus van Eeden2020-09-091-53/+69
|
* Implement dumping the Tracelyzer trace when pressing enter (#252)Cobus van Eeden2020-09-092-17/+33
| | | | | * Test: Press Enter to Trace dump on posix demo * Test: allow tracedump multiple times * Fix: main full demo
* Added -D_WINDOWS_ which expands the timing margin on the Linux port full ↵Cobus van Eeden2020-09-081-2/+2
| | | | demo, and turned optimization off for better debugging
* Various small formatting and wording changes in Linux demoCobus van Eeden2020-09-084-26/+24
|
* Fix the Posix port demo libpcap lib linking order issue in staic linking for ↵Ming Yue2020-09-081-1/+1
| | | | WSL. (#251)
* Fixed spelling in main.cCobus van Eeden2020-09-081-3/+3
|
* Fix: Make demo selector more user friendly (#249)alfred gedeon2020-09-081-45/+35
| | | | Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
* Removed reference to kbhit() which is no longer in the codeCobus van Eeden2020-09-081-1/+0
|
* Fix references to Linux instead of WindowsCobus van Eeden2020-09-083-16/+15
|
* TCP: Update version number and History.txt (#247)Aniruddha Kanhere2020-09-0854-54/+56
| | | | * Update the version number * Update History.txt
* Create winbase.h (#248)Aniruddha Kanhere2020-09-081-0/+1
|
* Move Kernel source pointer forward to latestCobus van Eeden2020-09-081-0/+0
|
* Remove unused variable from TaskNotifyArray.c that was causing a compiler ↵RichardBarry2020-09-061-4/+1
| | | | warning. (#233)
* Build: replace scons with makefile (#235)alfred gedeon2020-09-049-299/+114
| | | | | | | | | | * 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>
* TCP: Update History.txt file (#243)Aniruddha Kanhere2020-09-041-0/+36
| | | * Update the History.txt
* Create a new branch and address 10.8 warnings (#241)Aniruddha Kanhere2020-09-042-16/+34
|
* Fix: Demo/RX100_RX113-RSK_Renesas_e2studio RTOS demo project build error (#224)NoMaY (a user of Japan.RenesasRulz.com)2020-09-041-1/+1
| | | Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
* Address various MISRA warnings v3 (#240)Aniruddha Kanhere2020-09-033-9/+16
| | | | | | | * Add a branch and make MISRA changes * initialize the value * Update after Gary's comments
* Address various MISRA warnings v2 (#238)Aniruddha Kanhere2020-09-025-14/+20
| | | | | | | * Address some MISRA warnings * Change the return type * Update FreeRTOS_Sockets.c
* Address MISRA errors of various kinds (#234)Aniruddha Kanhere2020-09-017-44/+44
| | | | | * MISRA 21.15 changes * MISRA 11.8 changes
* Fix the path and command in demo projects to make it compatiable to Linux ↵Ming Yue2020-09-013-5/+5
| | | | | | | | | 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>
* cbmc: Add patch to remove overflow assert (#232)Ravishankar Bhagavandas2020-09-011-0/+20
|
* Address a few MISRA 2.2 violations in FreeRTOS_IP.c (#230)Aniruddha Kanhere2020-08-311-0/+10
| | | | | | | | | | | * 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.
* Address MISRA 21.15 violations in FreeRTOS_Sockets.c (#229)Gary Wicker2020-08-311-4/+12
| | | | | | | * 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>
* TCP: Address MISRA rule 11.3 violations (Part 2) (#227)Aniruddha Kanhere2020-08-314-41/+77
|
* Use unsigned types/constants where needed. (#226)Gary Wicker2020-08-282-5/+7
| | | Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* TCP: Address MISRA rule11.3 violations (#225)Aniruddha Kanhere2020-08-286-89/+222
|
* Add CBMC proof for prvProcessEthernetPacket (#199)Aniruddha Kanhere2020-08-273-0/+97
| | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* Utility macros to improve readability/static analysis. (#219)Aniruddha Kanhere2020-08-273-42/+72
| | | | | | | | | | | | | * Update FreeRTOS_IP_Private.h * Update FreeRTOS_Sockets.h * Update FreeRTOS_DNS.c * Correct version number * Update version number * Update version number
* List proofs and signoff (#194)Nathan Chong2020-08-2716-59/+1737
|
* Removed issue tempate for general inquiries, and hinted that users could use ↵Yuhui Zheng2020-08-273-12/+4
| | | | forum for such purpose. (#105)
* Fix Posix demo build and remove src directory (#213)alfred gedeon2020-08-2720-1030/+1035
| | | | | | | | * 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>
* Fix warnings after moving callback prototypes (#208)RichardBarry2020-08-2723-113/+122
| | | | | | | | | | | | | | * 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.
* Move forward Kernel submodule pointer (#218)Cobus van Eeden2020-08-267-32/+40
| | | | | | * Move forward Kernel submodule pointer * Fixing patches for CBMC proofs * Update proofs to assume cTxLock != 127 * Update proofs to assume cRxLock != 127
* Updating queue.c patches for CBMC proofs (#216)Cobus van Eeden2020-08-262-14/+14
|