4ca66b336a
Fix: Demo/RX200_RX231-RSK_GCC_e2studio_IAR RTOS demo project IAR build error ( #239 )
...
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-17 17:00:00 -07:00
fb7881cfeb
Build: Fix Demo/RX100-RSK_Renesas_e2studio RTOS demo project build error ( #228 )
...
* Fix: Demo/RX100-RSK_Renesas_e2studio RTOS demo project build error
* Update project files for e2 studio v4.0.2.008 (the same as Demo/RX100_RX113-RSK_Renesas_e2studio RTOS demo project)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
2020-09-17 16:37:52 -07:00
616b2d22d2
Sync kernel history.txt to this repo. ( #275 )
2020-09-16 15:58:45 -07:00
c997d887e0
Address MISRA Rule violations ( #274 )
...
* Use unsigned types/constants where needed.
* Address MISRA 21.15 violations in FreeRTOS_Sockets.c
* Address MISRA rule violations in code (primarily Rule 2.2)
* Inline had been disabled for Coverity builds, preventing
Coverity from correctly identifying dead code; this change
removes the disabling of inline during Coverity builds.
* Added an explanation for the inline suppression of Rule
11.4 in prvSocketValid().
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2020-09-16 14:53:57 -07:00
50dc98a5a6
MISRA v5 ( #272 )
2020-09-16 12:32:21 -07:00
d977f21940
Update kernel pointer
2020-09-15 03:04:09 -07:00
3747710159
Move released kernel pointer to the one where ASM files have the updated version number ( #270 )
2020-09-14 11:42:53 -07:00
20842a58fa
Update submodule pointer for Kernel to 10.4.0 version
2020-09-10 19:58:14 -07:00
89d475e9b1
Update Version number to 10.4.0 ( #237 )
2020-09-10 19:40:24 -07:00
759fe85853
Tracelyzer version updates ( #261 )
...
* Update Tracelyzer version numbers
2020-09-10 18:52:20 -07:00
989924f6cb
Adding some url files and moving the kernel pointer along ( #260 )
...
* Added some URL files and move submodule pointer along
* Add SiFive_HiFive1_RTOS_demo.url
2020-09-10 18:37:20 -07:00
0f5e3aa88a
Fix: Typo in posix networking demo ( #259 )
...
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
2020-09-10 18:05:34 -07:00
1a55c8779f
Update main.c
...
Remove unused variable from the MingW demo's main.c file.
2020-09-09 21:26:07 -07:00
d0cff20709
Added some URL files and move submodule pointer along ( #254 )
2020-09-09 14:31:07 -07:00
1d2e0ebee2
Update History.txt ( #253 )
2020-09-09 12:56:28 -07:00
4c6c4d2e84
Update kernel pointer to include Synopsis PR #110
2020-09-09 01:34:40 -07:00
f78ee3536a
Reset error message on next check and update interval to 10s
2020-09-09 01:27:53 -07:00
04cf45fdbc
Increase tracelyzer parameters to accomodate full demo scope
2020-09-09 01:26:46 -07:00
34d9175ce0
Sync main_full demo to match the Windows Simulator test list
2020-09-09 00:02:07 -07:00
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
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
c0df730de7
Various small formatting and wording changes in Linux demo
2020-09-08 20:51:54 -07:00
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
27d341e5ab
Fixed spelling in main.c
2020-09-08 18:12:22 -07:00
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
21644934d7
Removed reference to kbhit() which is no longer in the code
2020-09-08 14:43:56 -07:00
bcc41c97fd
Fix references to Linux instead of Windows
2020-09-08 14:42:09 -07:00
2621e60124
TCP: Update version number and History.txt ( #247 )
...
* Update the version number
* Update History.txt
2020-09-08 14:05:31 -07:00
40e410ee8e
Create winbase.h ( #248 )
2020-09-08 12:15:59 -07:00
013b3d4b23
Move Kernel source pointer forward to latest
2020-09-08 00:35:56 -07:00
00891e0c88
Remove unused variable from TaskNotifyArray.c that was causing a compiler warning. ( #233 )
2020-09-06 21:48:00 -07:00
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
c1b06040fe
TCP: Update History.txt file ( #243 )
...
* Update the History.txt
2020-09-04 17:51:22 -07:00
889d3e8667
Create a new branch and address 10.8 warnings ( #241 )
2020-09-04 12:34:30 -07:00
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
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
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
0341050048
Address MISRA errors of various kinds ( #234 )
...
* MISRA 21.15 changes
* MISRA 11.8 changes
2020-09-01 12:59:50 -07:00
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
584517d467
cbmc: Add patch to remove overflow assert ( #232 )
2020-09-01 09:26:25 -07:00
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
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
7cb57324fd
TCP: Address MISRA rule 11.3 violations (Part 2) ( #227 )
2020-08-31 09:49:43 -07:00
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
3fc432f7be
TCP: Address MISRA rule11.3 violations ( #225 )
2020-08-28 15:14:37 -07:00
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
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
669084ee8f
List proofs and signoff ( #194 )
2020-08-27 11:59:12 -07:00
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
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
