Commit Graph

1111 Commits (dfa102350411524f9c0dedf829915565e3228063)

Author SHA1 Message Date
alfred gedeon 0698f83c3b
Update Kernel head (#444) 4 years ago
alfred gedeon b7b9ccb099
Qemu mps2 networking (#439)
* Demo: Add Support for netwroking in Qemu for MPS2 AN385
* Add tcp echo client
* Add steps to Readme
4 years ago
Katsuhiro Suzuki f06330768f
Add Makefile project for RISC-V QEMU virtpc (#266)
* Add Makefile project for RISC-V QEMU virtpc

This patch adds simple demo directory for QEMU virtpc machine.
A demo just prints Tx/Rx message of queue to serial port, use no
other hardware and use only primary core (currently hart0).
Other cores are simply going to wfi state and execute nothing else.

Example command is:
  qemu-system-riscv32 -nographic -machine virt -net none \
    -chardev stdio,id=con,mux=on -serial chardev:con \
    -mon chardev=con,mode=readline -bios none \
    -kernel demo.elf -smp cpus=2 -s

* Fix copyright and URLS of FreeRTOS

* Fix Makefile

* Add Readme.md

* Separate blinky demo from main code

Co-authored-by: alfred gedeon <alfred2g@hotmail.com>
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
Co-authored-by: Carl Lundin <53273776+lundinc2@users.noreply.github.com>
4 years ago
David Chalco de26f7f2f4 [AUTO][RELEASE]: Bump kernel pointer "V10.4.2" 4 years ago
David Chalco 07f3cbafee [AUTO][RELEASE]: Bump file header version to "202011.00" 4 years ago
David Chalco 9939374379
Update History.txt for 202011.00 (#388) 4 years ago
Carl Lundin 21bbf3ea46
Move kernel submodule forward. (#377)
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
4 years ago
filipgeorge ca9dcdad7f
Changed project AVR_Dx_IAR to use 'heap_1.c'. (#365)
* Changed project AVR_Dx_IAR to use 'heap_1.c'.
* AVR_Dx_IAR project cleanup.
* AVR_ATMega4809_IAR project cleanup.
* Added newline at end of .gitignore file for AVR_Dx_IAR and AVR_ATMega0_IAR projects.
4 years ago
Abhishek Srivastava ac1578d871
Updated README in FreeRTOS/FreeRTOS (#317) 4 years ago
TakayukiMatsuo c44794cd11
Update wolfSSL to the latest version(v.4.5.0) (#303)
* 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

* Add wolfSSL-FIPS-Ready to Demo and Source

* Add wolfSSL-FIPS-Ready to Demo and Source

* Update README_wolfSSL_FIPS_Ready.md

* Remove unused files

* Update to wolfSSL-4.5.0-FIPS-Ready

* Increase FIPS version number for the default

* Update wolfSSL to the latest version(v.4.5.0)

* Fix version number

* Fix comments from github

Co-authored-by: RichardBarry <3073890+RichardBarry@users.noreply.github.com>
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
Co-authored-by: Alfred Gedeon <alfred2g@hotmail.com>
4 years ago
alfred gedeon 8ca9f072fa
Blinky Demo for Cortex M3 MPS2 on Qemu (#345) 4 years ago
Oscar Michael Abrina 10842c9189
Relocate logging sources under FreeRTOS-Plus/Source/Logging (#354)
As suggested, because logging_stack.h and logging_levels.h are used not only by demos but also by platform-specific transport code, it would make sense to move FreeRTOS-Plus/Demos/Common/Logging to FreeRTOS-Plus/Source/Logging. The same is done for demo_logging.c and demo_logging.h, which are duplicated by several demos. Win32.vcxproj project files are also updated to follow suite.
4 years ago
RichardBarry 56d44da270
Exercise xTaskDelayUntil() in demos and tests (#335)
* Update AbortDelay.c so it uses both vTaskDelayUntil() and xTaskDelayUntil().
Update TaskNotifyArray.c to prevent false positive test failures that appear to be caused by unwarranted integer promotion.
Add use of xTaskDelayUntil() to blocktim.c
5 years ago
RichardBarry e07d681cc0
Add tests for the length caps within xStreamBufferSend(). (#319) 5 years ago
Moe Ghasemi 2f51006020
Fix issue in CORTEX_LM3S811_GCC Demo linkerscipt (#102)
The .text section is listed as *(.text) and results in build
error because there are some .text* sections that are automatically put
into flash later by linker and their LMA overlaps
with .data

Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
Gaurav-Aggarwal-AWS e8fefe0ac9
Fix build failure in CORTEX_MPU_LPC54018_MCUXpresso project (#328)
Add missing power libraries. Also increase the size of the privileged
data section as heap is now placed in the privileged data section.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
5 years ago
Nathan Chong bc54c6bc10
Syntactic proof changes to track 10.4.1 changes (#322)
All changes restricted to comments/formatting.
5 years ago
Aniruddha Kanhere 8979b3817b
Remove CBMC proofs of TCP source code (#325)
* Add CMock back for the integration tests.

* Removed the CBMC proofs for TCP

* Add the windows files to allow the CBMC proofs to run
5 years ago
RichardBarry b8993fbd69
Update ParTest.c
Add not to change the LED output number from 10 to 47 when running the Zynq demo on the MicroZed hardware.
5 years ago
stbnrivas 7c3c168cd4
fix demo picmz-mplab (#89)
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
5 years ago
Spruce ab70c1ce33
Add 20Mhz support by overwriting MCLKCTRLB default register value 0x11 by 0 (#295) 5 years ago
David Chalco 7bcc5b48b1
Move ./scripts --> FreeRTOS/Test/CMock/scripts (#298) 5 years ago
David Chalco 190c9e780d
Inititial stub for cmock tests (#297) 5 years ago
Gaurav-Aggarwal-AWS de502afcb2
Fix rendezvous test failure in EventGroupsDemo (#294)
The rendezvous test in EventGroupsDemo assumed that one tick is not
enough for rendezvous to complete. Turns out that it is not true on a
system with 1ms tick and rendezvous does get complete within one tick.
This commit removes the test with one tick assumption.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) dea347fb9a
Add Renesas RX72N Envision Kit RTOS Demo using Renesas RXv3 port layer (#167)
* Add Renesas RX72N Envision Kit RTOS Demo using Renesas RXv3 port layer

* Refactor the workaround which makes CC-RX linker optimization working better

To be robust for future updates of Renesas RX SmartConfigurator until the cause of the problem is fixed by Renesas.

* Fix vApplicationMallocFailedHook()'s argument type generated by e2 studio.

No changes are caused in the MOT and SREC files which are built.

* Merge update of submodule (submodule's commit id)

Changes are caused in the MOT and SREC files which are built for Renesas RX72N Envision Kit RTOS Demo.
Theses RTOS Demo programs work after changes.

* Fix: Add checking DPFPU register in RegTest inline asm functions in main_full.c

* Fix and sync kernel pointer (submodule's commit id) to the same as 'upstream/master'

* Revert "Fix and sync kernel pointer (submodule's commit id) to the same as 'upstream/master'"

This reverts commit d684f749bc.

* Revert "Merge remote-tracking branch 'upstream/master' into rx700v3dpfpu"

This reverts commit 3a44473b4e, reversing
changes made to 0f4f024fe2.

* Merge remote-tracking branch 'upstream/master' into rx700v3dpfpu

* Fix and sync kernel pointer (submodule's commit id) to the same as 'upstream/master'

* Test: Fix unnecessary update of SiFive_HiFive1_RTOS_demo.url.

* Fix? unnecessary update of SiFive_HiFive1_RTOS_demo.url.

* Fix unnecessary update of SiFive_HiFive1_RTOS_demo.url.
5 years ago
Gaurav-Aggarwal-AWS 5cc6512986
Fix warnings in CORTEX_M4F_STM32F407ZG-SK project (#287)
The existing startup code was generating some warnings of the form
"Label 'xxxxx' is defined pubweak in a section implicitly declared
root". This change replaces the startup file with the one generated from
latest STM32CubeMX to fix the above warnings.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) 80e23dde57
Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX600_RX64M_RSK_GCC_e2studio folder (#263)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) 886e29e2bd
Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX100_RX113-RSK_GCC_e2studio_IAR folder (#258)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) 723dd35cad
Upgrade_GCC_project_for_e2v780_in_RX700_RX71M_RSK_GCC_e2studio_IAR (#257)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) cfc6672336
Upgrade GCC project files for e2 studio v7.8.0 in Demo/RX200_RX231-RSK_GCC_e2studio_IAR folder (#255)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) ec7694384f
Maintenance: Make Demo/RX600_RX64M_RSK_Renesas_e2studio RTOS demo project better (#231)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
David Chalco 080f975c7b
version string update to 10.4.1 -- irrespective of file extension (#284)
Update the remaining files that have reference to the version number in them.
5 years ago
David Chalco 0573fea3ee
Update (.s, .S) kernel version numbers to 10.4.1 (#283)
* version bump to 10.4.1
* update .s file version numbers
* Update FreeRTOS/History.txt
5 years ago
Cobus van Eeden d5862dbe01
Sync back V10.4.1 (#282)
* Move Kernel submodule pointer to 10.4.1
* Update version number to V10.4.1 (#281)
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) 4ca66b336a
Fix: Demo/RX200_RX231-RSK_GCC_e2studio_IAR RTOS demo project IAR build error (#239)
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
NoMaY (a user of Japan.RenesasRulz.com) 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>
5 years ago
Carl Lundin 616b2d22d2
Sync kernel history.txt to this repo. (#275) 5 years ago
Cobus van Eeden d977f21940 Update kernel pointer 5 years ago
Cobus van Eeden 3747710159
Move released kernel pointer to the one where ASM files have the updated version number (#270) 5 years ago
Cobus van Eeden 20842a58fa Update submodule pointer for Kernel to 10.4.0 version 5 years ago
David Chalco 89d475e9b1
Update Version number to 10.4.0 (#237) 5 years ago
Cobus van Eeden 759fe85853
Tracelyzer version updates (#261)
* Update Tracelyzer version numbers
5 years ago
Cobus van Eeden 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
5 years ago
alfred gedeon 0f5e3aa88a
Fix: Typo in posix networking demo (#259)
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
5 years ago
RichardBarry 1a55c8779f
Update main.c
Remove unused variable from the MingW demo's main.c file.
5 years ago
Cobus van Eeden d0cff20709
Added some URL files and move submodule pointer along (#254) 5 years ago
yngki 1d2e0ebee2
Update History.txt (#253) 5 years ago
Cobus van Eeden 4c6c4d2e84 Update kernel pointer to include Synopsis PR #110 5 years ago
Cobus van Eeden f78ee3536a Reset error message on next check and update interval to 10s 5 years ago
Cobus van Eeden 04cf45fdbc Increase tracelyzer parameters to accomodate full demo scope 5 years ago
Cobus van Eeden 34d9175ce0 Sync main_full demo to match the Windows Simulator test list 5 years ago
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
5 years ago
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 5 years ago
Cobus van Eeden c0df730de7 Various small formatting and wording changes in Linux demo 5 years ago
Ming Yue 8ada8156e0
Fix the Posix port demo libpcap lib linking order issue in staic linking for WSL. (#251) 5 years ago
Cobus van Eeden 27d341e5ab Fixed spelling in main.c 5 years ago
alfred gedeon 939daef2f2
Fix: Make demo selector more user friendly (#249)
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
5 years ago
Cobus van Eeden 21644934d7 Removed reference to kbhit() which is no longer in the code 5 years ago
Cobus van Eeden bcc41c97fd Fix references to Linux instead of Windows 5 years ago
Cobus van Eeden 013b3d4b23 Move Kernel source pointer forward to latest 5 years ago
RichardBarry 00891e0c88
Remove unused variable from TaskNotifyArray.c that was causing a compiler warning. (#233) 5 years ago
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>
5 years ago
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>
5 years ago
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>
5 years ago
Ravishankar Bhagavandas 584517d467
cbmc: Add patch to remove overflow assert (#232) 5 years ago
Nathan Chong 669084ee8f
List proofs and signoff (#194) 5 years ago
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>
5 years ago
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.
5 years ago
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
5 years ago
Cobus van Eeden a691c6199e
Updating queue.c patches for CBMC proofs (#216) 5 years ago
David Chalco 1ae6eda77a
RSK64M Demo - Fix build errors (#195)
* Fix linking errors. Define task notification array size
5 years ago
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>
5 years ago
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>
5 years ago
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>
5 years ago
RichardBarry 68518f5866
Removed a 16MByte flash image file that was checked in by mistake (several years ago). (#173)
Remove the copies of lwIP that are no longer reference from demo projects.

Co-authored-by: Carl Lundin <53273776+lundinc2@users.noreply.github.com>
5 years ago
m17336 d4bf09480a
Update previous AVR ATmega0 and AVR Dx projecs + addition of equivalent projects in MPLAB.X and IAR (#180)
* Updated indentation in AVR_ATMega4809_Atmel_Studio and AVR_Dx_Atmel_Studio projects, plus small fixes in their readme files.

* Added AVR_ATMega4809_IAR, AVR_ATMega4809_MPLAB.X, AVR_Dx_IAR and AVR_Dx_MPLAB.X demo projects.

* Removed build artefacts and added .gitignore files in AVR_ATMega4809_MPLAB.X and AVR_Dx_MPLAB.X projects.

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
Aniruddha Kanhere f32a0647c8
Remove CBMC patch which is not used anymore (#187)
* Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch

* Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
5 years ago
Aniruddha Kanhere 08af68ef90
Remove dependency of CBMC on Patches (#181)
* Changes to DHCP

* CBMC DNS changes

* Changes for TCP_IP

* Changes to TCP_WIN

* Define away static to nothing

* Remove patches

* Changes after Mark's comments v1

* Update MakefileCommon.json

* Correction!
5 years ago
Aniruddha Kanhere f2611cc5e5
MISRA compliance changes in FreeRTOS_Sockets{.c/.h} (#161)
* MISRA changes Sockets

* add other changes

* Update FreeRTOSIPConfig.h

* Update FreeRTOSIPConfig.h

* Update FreeRTOSIPConfig.h

* Update FreeRTOSIPConfig.h

* correction

* Add 'U'

* Update FreeRTOS_Sockets.h

* Update FreeRTOS_Sockets.h

* Update FreeRTOS_Sockets.c

* Update FreeRTOS_Sockets.h

* Update after Gary's comments

* Correction reverted
5 years ago
Carl Lundin a457f43c66
Add missing error state assignment. (#166) 5 years ago
Yuhui Zheng 915af50524
Add Atmel Studio projects for ATMega4809 and AVR128DA48 (#159)
* Added explicit cast to allow roll over and avoid integer promotion during cycles counters comparison in recmutex.c.

* Fixed type mismatch between declaration and definition of function xAreSemaphoreTasksStillRunning( void ).

* Added Atmel Studio demo projects for ATMega4809 and AVR128DA48.

* Per https://www.freertos.org/upgrading-to-FreeRTOS-V8.html, I'm updating portBASE_TYPE to BaseType_t.

Signed-off-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>

* Update register test for ATmega4809
- to cover r28, r29, r31.
- call public API taskYIELD() instead of portYIELD().

* Update ATmega4809 readme.md to include info for serial port setup, and minor wording fix.

Co-authored-by: Alexandru Niculae - M17336 <alexandru.niculae@microchip.com>
5 years ago
Nathan Chong 8e36bee30e
Prove buffer lemmas (#124)
* Prove buffer lemmas

* Update queue proofs to latest kernel source

All changes were syntactic due to uncrustify code-formatting

* Strengthen prvCopyDataToQueue proof

* Add extract script for diff comparison

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
Gaurav-Aggarwal-AWS d7667a0034
Remove unnecessary semicolon from the linker file (#121)
This was creating problem with the onboard LPCLink debug probe.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
5 years ago
Nathan Chong 529c481c39
Add VeriFast kernel queue proofs (#117) 5 years ago
S.Burch 072a173c9d
Fixed Imports for Infineon XMC1100 Board (#88)
Co-authored-by: RichardBarry <3073890+RichardBarry@users.noreply.github.com>
5 years ago
RichardBarry 2df5eeef57
Feature/multiple direct to task notifications (#73)
* Add TaskNotifyArray.c with the single task tests updated to use the task notification array up to the point where the timer is created.

* Continue working on TaskNotifyArray.c to test the new task notification indexes.  Next TaskNotifyArray.c will be refactored to break the tests up a bit.

* Refactor and update the comments in TaskNotifyArray.c - no functional changes.

* Change from the task notify "array" to task notification "indexed" nomenclature in the new task notification API functions that work on one particular task notification with the array of task notifications.

* Update the implementation of the taskNOTIFY_TAKE() and taskNOTIFY_WAIT() trace macros to take the array index of the task notification they are acting on.
Rename configNUMBER_OF_TASK_NOTIFICATIONS to configTASK_NOTIFICATION_ARRAY_ENTRIES.
Add FreeRTOS/Demo/Common/Minimal/TaskNotifyArray.c to the Visual Studio project - the file implements tests specific to the behaviour of the indexed task notification functions and should be used in addition to the tests already provided in FreeRTOS/Demo/Common/Minimal/TaskNotify.c.
5 years ago
Aniruddha Kanhere f11bcc8acc
Fix a Bug and corresponding CBMC patch (#84)
* Update remove-static-in-freertos-tcp-ip.patch

* Update FreeRTOS_TCP_IP.c

* Update remove-static-in-freertos-tcp-ip.patch

* Update remove-static-in-freertos-tcp-ip.patch

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
Yuhui Zheng bb9f92f771
Submodule FreeRTOS/Source 10bbbcf0b..6199b72fb (#82) 5 years ago
Yuhui Zheng 0eb5909fb0
readme.md for ATmega328PB Xplained Mini. (#76)
readme.md to get users jump started.
5 years ago
Aniruddha Kanhere cb7edd2323
Sync with a:FR (#75)
* AFR sync

* AFR sync: CBMC

* AFR sync: CBMC: remove .bak files

* AFR sync: CBMC: more cleanup

* Corrected CBMC proofs

* Corrected CBMC patches

* Corrected CBMC patches-1

* Corrected CBMC patches-2

* remove .bak files (3)

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
alfred gedeon 6557291e54
Test: Add Linux Networking support with demo application (#71)
* Test: Add Linux Networking support with demo application

* Test: revert files affected by uncrustify

* Test: revert files affected by uncrustify

Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
Yuhui Zheng 8b079bc394
ATmega328PB Xplained Mini -- demo project for ATmega port. (#70)
* Bootstrap a demo from START. No driver is added in this commit.

* Add FreeRTOS source code to project. Remove unnecessary folder nesting.

Heap_4 is used here.

* Copy over main.c, FreeRTOSConfig.h, and regtest.{c, h}.

This commit compiles, but will need some work on timer used.

* This port has 2KB RAM. We are using 1KB for heap.

Further decreasing minimum stack size, and also use stack overflow check 1 to save some stack space.

* Preserve EEPROM set to false.

* End of the line.

* Reduce register test stack size.

32 8-bit register + 10 bytes for stack frame cost. Round up to 50.

* Adding Queue test in Integer test.

- g3 to easy debugging.
- mainCHECK_PERIOD is set to 1000 ticks. Note that this port for now use WDT as tick timer, and period is set to 15ms.
- vErrorChecks, is of highest priority. So if this task gets run before other tasks, the very first check will fail.

* Avoid false alarm.

Since we don't know in which order the tasks are scheduled, clearing any error for the first entry of vErrorChecks.

Signed-off-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>

* ParTest.c to init, set, toggle onboard user LED at PB5.

* Added a task to blink onboard user LED.

Need a magic number for stack size.

Signed-off-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>

* Explicitly setting timing slicing to 0.
This is to avoid unecessary context switch when multiple tasks are of the same priority.


Signed-off-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>

* Add taskYIELD() at the end of the loop in each register test task.

This is to give other tasks of the same priority a chance to run, regardless of scheduling algorithm.

Signed-off-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>

* minor, update comment in main.c.
5 years ago
AniruddhaKanhere d95624c5d6
Move CBMC proofs to FreeRTOS+ directory (#64)
* move CBMC proofs to FreeRTOS+ directory

* Failing proofs corrected

* ParseDNSReply proof added back

* removed queue_init.h from -Plus/Test

Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
markrtuttle 95ae7c6575
Change cbmc-viewer invocation in CBMC makefile (#63)
* Exclude FreeRTOS/Demo from CBMC proof reports.

The script cbmc-viewer generates the CBMC proof reports.  The script
searches source files for symbol definitions and annotates source
files with coverage information.  This patch causes cbmc-viewer to
ignore the directory FreeRTOS/Demo containing 348M of data.  The
script now terminates in a few seconds.

* Make report default target for CBMC Makefile.

Modify the Makefile for CBMC proofs to generate the report by default
(and not just property checking) and modify property checking to
ignore failures (due to property assertions failing) and terminating
report generation.

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
5 years ago
Yuhui Zheng d421ccc89f
Reword readme.md under ./Test. (#61) 5 years ago
Carl Lundin 3841286598
Removed a:FR reference. (#60) 5 years ago
AniruddhaKanhere 4db195c916
Adding FreeRTOS+TCP CBMC proofs to FreeRTOS/FreeRTOS (#56)
ParseDNSReply is to be added in the next PR.
5 years ago
Yuhui Zheng fa74f7dccf Removing writes to read-only PLIC interrupt pending registers.
Signed-off-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
Yuhui Zheng 5b9777e11e A readme file to introduce what ./Test directory is about. 5 years ago
Yuhui Zheng 211bb4cbd9 Ignore whitespace when working with patches. 5 years ago
Yuhui Zheng 8156f64d1c Copying CBMC proofs from aws/amazon-freertos repo ./tools/cbmc to this repo ./FreeRTOS/Test/CBMC as is.
The commit ID in aws/amazon-freertos is 0c8e0217f2a43bdeb364b58ae01c6c259e03ef1b.
5 years ago
David Vrabel 9f316c246b Demo/Posix_GCC: add demo application for Posix port using GCC
This is largely a copy of the Windows demo application with a few key
changes:

- heap_3 (use malloc()/free()) so tools like valgrind "just work".

- printf() wrapped in a mutex to prevent deadlocks on the internal
  pthread mutexes inside printf().

SCons (https://scons.org/) is used as the build system.

This will be built as a 64-bit application, but note that the memory
allocation trace points only record the lower 32-bits of the address.
5 years ago
Markus Rinne f78f919b3e Fix function comments 5 years ago
David Chalco 1cd2d38d96 unix separators for path and remove .exe suffix from risc compiler (works on windows/mac) 5 years ago
Yuhui Zheng 8982a2f80a Add ./lib directory to make sure Zynq project compiles. 5 years ago
Gaurav-Aggarwal-AWS 5751ae9b60
Update CORTEX_MPU_M33F_NXP_LPC55S69_MCUXpresso project (#26)
This commit updates the project for LPC55S69 so that it works with the
latest version of MCUXpresso and SDK.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
5 years ago
Carl Lundin 52c82076b3
use relative path to point to bundled toolchain instead (#25) 5 years ago
Yuhui.Zheng bef165d467
Linking test source file from relative path. (#19) 5 years ago
Yuhui.Zheng 24c772d143
Submodule kernel directory. (#16)
* Removing FreeRTOS/Source in readiness for submoduling.

* Submoduling kernel.

* README.md update due to submoduling.

When releasing, please follow these steps:
1. in local directory, clean directory and check "git status" shows "nothing to commit, working tree clean" for ALL subdirectories.
2. copy source code and instructions only to an empty folder. Git related should not be in this folder -- this covers .git, .gitignore, .github, .gitmodules, gitmessages, ......
3. zip the folder from step 2. (create both .zip and .7z)
4. attach .zip and .7z to the release. (e.g. attach these two in new release -- https://github.com/FreeRTOS/FreeRTOS/releases/new)
5. PLEASE download both, unzip, diff with your local git repo. (should not see any difference other than git related.) And, sanity check a couple of projects.
5 years ago
RichardBarry fc819b8217
Correct the xTimerCreate() documentation which said NULL was returned if the timer period was passed into the function as 0, whereas that is not the case. (#15)
Add a note to the documentation for both the xTimerCreate() and xTimerCreateStatic() functions that the timer period must be greater than 0.
5 years ago
Richard Barry 7cf721ccf7 5 years ago
Yuhui.Zheng 589dd9f149 Update version number in readiness for V10.3.0 release. Sync SVN with reviewed release candidate. 5 years ago
Yuhui.Zheng f988394e0d Fix spelling issues. 5 years ago
Richard Barry 28efb5449c Add "is inside interrupt" function to MPU ports.
Make clock setup functions weak symbols in ARMv8-M ports.
Update Cortex-M33 ports to use an interrupt mask in place of globally disabling interrupts, as per the other Cortex-M ports.
5 years ago
Richard Barry 7bea399061 Update libraries and sundry check-ins ready for the V10.3.0 kernel release. 5 years ago
Yuhui.Zheng d319bb0c71 ESP GCC port -- Added LoadStore Exception handlers.
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/9 -- Handles LoadStoreErrorCause and LoadStoreAlignmentCause allowing to use 32-bit memory region (IRAM) as 8-bit or 16-bit memory region
5 years ago
Yuhui.Zheng 0c1c85a9dd Removing RISC-V port under ThirdParty.
RISC-V ports for IAR and GCC can now be found under \FreeRTOS\Source\portable\GCC\RISC-V and \FreeRTOS\Source\portable\IAR\RISC-V.
5 years ago
Yuhui.Zheng 99e796eb01 Removing unnecessary ThirdParty ports -- Wiced_CY and nrf52840-dk.
For projects depending on either of these two ports, please update your projects according to below:
Wiced_CY -- Use GCC/ARM_CRx_No_GIC instead. 
nrf52840-dk -- Use GCC/ARM_CM7/r0p1 instead. Please note that, kernel port shall only take dependency on MCU core, not MCU peripherals. (Please take out RTC related from kernel port.) For low power feature (tickless) in FreeRTOS, please follow this page https://www.freertos.org/low-power-ARM-cortex-rtos.html. In case ARM_CM7/rop1 is missing any feature, reach out to us.
5 years ago
Richard Barry 0d54d1c4dc Correct an err in queue.c introduced when previously updating behaviour when queue sets are used in combination with queue overwrites. 5 years ago
Yuhui.Zheng f5b5b2db04 Cleaning up LPC51U68 projects:
- user playable settings are all in FreeRTOSConfig.h.
- removed reference to IntQueue.h in main_full.c
- readme.txt wording.
5 years ago
Richard Barry 2415dc26b0 Introduce the portSOFTWARE_BARRIER macro which thus far is only used by the Win32 demo to hold execution up in case a simulated interrupt is executing simultaneously. That should never happen as all threads should execute on the same core, but we have had numerous reports that this and other Win32 port changes we have made fixed these issues - although we have not been able to replicate them ourselves. 5 years ago
Gaurav Aggarwal 18f87e8c33 Add MPU demo project for Nulceo-L152RE which is Coretx-M3. 5 years ago
Gaurav Aggarwal e058a65b16 Updates to CM3_MPU GCC port
- System calls are now only allowed from kernel code. This change can be turned on
  or off using configENFORCE_SYSTEM_CALLS_FROM_KERNEL_ONLY.
- MPU is disabled before reprogramming it and enabled afterwards to be compliant
  with ARM recommendations.
5 years ago
Richard Barry 42a0eaafdc Ensure both one-shot and auto-reload are written consistently with a hyphen in comments. 5 years ago
Richard Barry 9456992c1f Added uxTimerGetReloadMode() API function. 5 years ago
Gaurav Aggarwal c472c5b04f Add MPU demo project for LPC54018 board. 5 years ago
Yuhui.Zheng 0d95aca202 Introduce a port for T-HEAD CK802. A simple demo for T-HEAD CB2201 is also included. 5 years ago
Richard Barry d2914041f8 Update the GCC and IAR SiFive HiFive rev-b demos to use the new configMTIME_BASE_ADDRESS and configMTIMECMP_BASE_ADDRESS constants in place of the deprecated configCLINT_BASE_ADDRESS constant.
Update the IAR RISC-V HiFive demo to use the latest IAR Embedded Workbench version.
5 years ago
Richard Barry 066e2bc7d2 Replace portasmHAS_CLINT with configMTIME_BASE_ADDRESS and configMTIMECMP_BASE_ADDRESS definitions in the IAR RISC-V port - portasmHAS_CLIT will still work by deriving the new definitions from the old. 5 years ago
Richard Barry 75b81a1fab Work in progress update of LPC51U68 MCUXpresso project to rearrange the folder structure and names. 5 years ago
Richard Barry fbb23055cd Replace portasmHAS_CLINT with configMTIME_BASE_ADDRESS and configMTIMECMP_BASE_ADDRESS definitions in the GCC RISC-V port - portasmHAS_CLIT will still work by deriving the new definitions from the old. 5 years ago
Richard Barry eaf9318df8 Add Source/portable/ARMClang file that directs users to the GCC port if they which to use the ARMClang compiler. 5 years ago
Richard Barry 881958514b If tickless idle mode is in use then ensure prvResetNextTaskUnblockTime() is called after a task is unblocked due to a bit being set in an event group. This allows the MCU to re-enter sleep mode at the earliest possible time (rather than waiting until the timeout that would occur had the task not being unblocked be the event group) and matches a similar change made for queues and derivative objects (semaphores, etc.) some time ago. 5 years ago
Richard Barry 9e86cb95a7 Add xPortIsInsideInterrupt() to the IAR ARMv7-M ports. 5 years ago
Richard Barry be3561ed53 Added xTaskAbortDelayFromISR() and ulTaskNotifyValueClear() API functions.
Added tests for xTaskAbortDelayFromISR() into Demo/Common/Minimal/AbortDelay.c.
Added tests for ulTaskNotifyValueClear() into Demo/Common/Minimal/TaskNotify.c.
5 years ago
Richard Barry 0a29d350b1 Renamed RISC-V_RV32_SiFive_HiFive1_IAR directory to RISC-V_RV32_SiFive_HiFive1-RevB_IAR as it targets the RevB hardware. 5 years ago
Richard Barry 62b413627a Minor updates to comment block for xTaskCheckForTimeOut(). 5 years ago
Richard Barry dfc1bf8ec3 Rename RISC-V_RV32_SiFive_HiFive1-FreedomStudio directory to RISC-V_RV32_SiFive_HiFive1-RevB-FreedomStudio as it targets Rev B of the hardware. 5 years ago
Richard Barry 4b943b35e0 Update RISCC-V-RV32-SiFive_HiFive1_FreedomStudio project to latest tools and metal library versions. 5 years ago
Gaurav Aggarwal cfa83672ef Rename STM32Cube to GCC for STM32L4 Discovery projects as GCC is
the compiler used.
5 years ago
Gaurav Aggarwal 474182ab39 Make vSetupTimerInterrupt weak in the RVDS M4 MPU port to give the
application writer a chance to override this function. This gives
the application write ability to use a different timer.
5 years ago
Gaurav Aggarwal 22dd9a55ab Update documentation of xTaskCheckForTimeOut function to reflect the
intended use of this API.
5 years ago
Yuhui.Zheng 8f0eaf274c - Updates to projects due to demo folder name change. (IAR source file paths and assembler path were fixed. Keil source file paths were fixed.)
- Added back power static library for GCC and IAR. (Power management related interface definitions are in drivers/fsl_power.h. power.c is empty due to "implementation is in header file and power library")
- Note for GCC link: the command used for linking is `arm-none-eabi-gcc -nostdlib -L<additional lib search path> -Xlinker ... -o "CORTEX_M0+_LPC51U68_LPCXpresso.axf" <all *.o> -lpower`. Per GCC doc, static library name in file system is libpower.a.
5 years ago
Richard Barry 3203c5cc85 Previously the STM32F0518 compiler setting was changed to enable the use of the __weak attribute - however changing the port layer to use #pragma weak in place of __weak means the compiler setting change is not required and removes the risk of introducing incompatibilities - so this check in reverts the compiler settings change. 5 years ago
Richard Barry cc673eb6a5 Ensure the CORTEX_M0_STM32F0518_IAR demo builds after updates to the Cortex-M0 port layer - required an update to the project settings to allow IAR extensions as the port layer now uses the _weak qualifier. 5 years ago
Richard Barry 801e63bd10 Ensure the LPC1114 demo still builds after updates to the Cortex-M0 port layer - includes minor update to remove compiler warning that resulted from a newer compiler version. 5 years ago
Richard Barry 53c98357b0 Ensure the LPC1114 demo still builds after updates to the Cortex-M0 port layer - includes minor update to remove compiler warning that resulted from a newer compiler version. 5 years ago
Richard Barry 49052a6581 Ensure the XMC1000_IAR_KEIL_GCC projects still build after updates to the Cortex-M0 port layer - minor change to remove warning related to using a newer version of the IAR tools. 5 years ago
Richard Barry e292c67933 Replace the static prvSetupTimerInterrupt() function in the Cortex-M port layers that still used it (other than MPU ports so far) with a weakly defined function call vPortSetupTimerInterrupt() - which allows application writers to override the function with one that uses a different clock. 5 years ago
Richard Barry e23d638afd Correct use of xStreamBufferRead() to xStreamBufferReceive() in code comments - no source code changes. 5 years ago