Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update version number to V10.4.1 (#281)syncBack10_4_1 | David Chalco | 2020-09-17 | 1230 | -1230/+1230 |
| | |||||
* | Move Kernel submodule pointer to 10.4.1V10.4.0-branch | Cobus van Eeden | 2020-09-17 | 1 | -0/+0 |
| | |||||
* | Update kernel pointerV10.4.0 | Cobus van Eeden | 2020-09-15 | 1 | -0/+0 |
| | |||||
* | Move released kernel pointer to the one where ASM files have the updated ↵ | Cobus van Eeden | 2020-09-14 | 1 | -0/+0 |
| | | | | version number (#270) | ||||
* | Update submodule pointer for Kernel to 10.4.0 version | Cobus van Eeden | 2020-09-10 | 1 | -0/+0 |
| | |||||
* | Update Version number to 10.4.0 (#237) | David Chalco | 2020-09-10 | 1222 | -1228/+1228 |
| | |||||
* | Tracelyzer version updates (#261) | Cobus van Eeden | 2020-09-10 | 5 | -35/+71 |
| | | | * Update Tracelyzer version numbers | ||||
* | Adding some url files and moving the kernel pointer along (#260) | Cobus van Eeden | 2020-09-10 | 1 | -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 gedeon | 2020-09-10 | 1 | -1/+1 |
| | | | Co-authored-by: Alfred Gedeon <gedeonag@amazon.com> | ||||
* | Update main.c | RichardBarry | 2020-09-09 | 1 | -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 Eeden | 2020-09-09 | 3 | -0/+10 |
| | |||||
* | Update History.txt (#253) | yngki | 2020-09-09 | 1 | -0/+41 |
| | |||||
* | Update kernel pointer to include Synopsis PR #110 | Cobus van Eeden | 2020-09-09 | 1 | -0/+0 |
| | |||||
* | Reset error message on next check and update interval to 10s | Cobus van Eeden | 2020-09-09 | 1 | -2/+5 |
| | |||||
* | Increase tracelyzer parameters to accomodate full demo scope | Cobus van Eeden | 2020-09-09 | 1 | -4/+4 |
| | |||||
* | Sync main_full demo to match the Windows Simulator test list | Cobus van Eeden | 2020-09-09 | 1 | -53/+69 |
| | |||||
* | Implement dumping the Tracelyzer trace when pressing enter (#252) | Cobus van Eeden | 2020-09-09 | 2 | -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 Eeden | 2020-09-08 | 1 | -2/+2 |
| | | | | demo, and turned optimization off for better debugging | ||||
* | Various small formatting and wording changes in Linux demo | Cobus van Eeden | 2020-09-08 | 4 | -26/+24 |
| | |||||
* | Fix the Posix port demo libpcap lib linking order issue in staic linking for ↵ | Ming Yue | 2020-09-08 | 1 | -1/+1 |
| | | | | WSL. (#251) | ||||
* | Fixed spelling in main.c | Cobus van Eeden | 2020-09-08 | 1 | -3/+3 |
| | |||||
* | Fix: Make demo selector more user friendly (#249) | alfred gedeon | 2020-09-08 | 1 | -45/+35 |
| | | | | Co-authored-by: Alfred Gedeon <gedeonag@amazon.com> | ||||
* | Removed reference to kbhit() which is no longer in the code | Cobus van Eeden | 2020-09-08 | 1 | -1/+0 |
| | |||||
* | Fix references to Linux instead of Windows | Cobus van Eeden | 2020-09-08 | 3 | -16/+15 |
| | |||||
* | TCP: Update version number and History.txt (#247) | Aniruddha Kanhere | 2020-09-08 | 54 | -54/+56 |
| | | | | * Update the version number * Update History.txt | ||||
* | Create winbase.h (#248) | Aniruddha Kanhere | 2020-09-08 | 1 | -0/+1 |
| | |||||
* | Move Kernel source pointer forward to latest | Cobus van Eeden | 2020-09-08 | 1 | -0/+0 |
| | |||||
* | Remove unused variable from TaskNotifyArray.c that was causing a compiler ↵ | RichardBarry | 2020-09-06 | 1 | -4/+1 |
| | | | | warning. (#233) | ||||
* | Build: replace scons with makefile (#235) | alfred gedeon | 2020-09-04 | 9 | -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 Kanhere | 2020-09-04 | 1 | -0/+36 |
| | | | * Update the History.txt | ||||
* | Create a new branch and address 10.8 warnings (#241) | Aniruddha Kanhere | 2020-09-04 | 2 | -16/+34 |
| | |||||
* | Fix: Demo/RX100_RX113-RSK_Renesas_e2studio RTOS demo project build error (#224) | NoMaY (a user of Japan.RenesasRulz.com) | 2020-09-04 | 1 | -1/+1 |
| | | | Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com> | ||||
* | Address various MISRA warnings v3 (#240) | Aniruddha Kanhere | 2020-09-03 | 3 | -9/+16 |
| | | | | | | | * Add a branch and make MISRA changes * initialize the value * Update after Gary's comments | ||||
* | Address various MISRA warnings v2 (#238) | Aniruddha Kanhere | 2020-09-02 | 5 | -14/+20 |
| | | | | | | | * Address some MISRA warnings * Change the return type * Update FreeRTOS_Sockets.c | ||||
* | Address MISRA errors of various kinds (#234) | Aniruddha Kanhere | 2020-09-01 | 7 | -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 Yue | 2020-09-01 | 3 | -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 Bhagavandas | 2020-09-01 | 1 | -0/+20 |
| | |||||
* | Address a few MISRA 2.2 violations in FreeRTOS_IP.c (#230) | Aniruddha Kanhere | 2020-08-31 | 1 | -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 Wicker | 2020-08-31 | 1 | -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 Kanhere | 2020-08-31 | 4 | -41/+77 |
| | |||||
* | Use unsigned types/constants where needed. (#226) | Gary Wicker | 2020-08-28 | 2 | -5/+7 |
| | | | Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com> | ||||
* | TCP: Address MISRA rule11.3 violations (#225) | Aniruddha Kanhere | 2020-08-28 | 6 | -89/+222 |
| | |||||
* | Add CBMC proof for prvProcessEthernetPacket (#199) | Aniruddha Kanhere | 2020-08-27 | 3 | -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 Kanhere | 2020-08-27 | 3 | -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 Chong | 2020-08-27 | 16 | -59/+1737 |
| | |||||
* | Removed issue tempate for general inquiries, and hinted that users could use ↵ | Yuhui Zheng | 2020-08-27 | 3 | -12/+4 |
| | | | | forum for such purpose. (#105) | ||||
* | Fix Posix demo build and remove src directory (#213) | alfred gedeon | 2020-08-27 | 20 | -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) | RichardBarry | 2020-08-27 | 23 | -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 Eeden | 2020-08-26 | 7 | -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 Eeden | 2020-08-26 | 2 | -14/+14 |
| |