Unit tests need to update now that the queue
asserts if in use during a deletion call.
Updated existing mutex test which left a queue
with a user during cleanup.
Store the parsed IPv4 echo server address in the IPv4 union member instead of writing it into the IPv6 byte array.
Signed-off-by: Old-Ding <ai.neo.ae86@gmail.com>
Python warns about invalid escape sequences in the CBMC Makefile generation helpers. Use raw regex strings and escape the Windows path example so the parsed AST stays unchanged while removing the warnings.
Signed-off-by: Old-Ding <ai.neo.ae86@gmail.com>
Co-authored-by: Old-Ding <ai.neo.ae86@gmail.com>
Bare except clauses catch SystemExit, KeyboardInterrupt, and
GeneratorExit which is almost never intended. Using except Exception
follows Python best practices (PEP 8).
Co-authored-by: Srikanth Patchava <srpatcha@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <kanherea@amazon.com>
The 'Install Glib' step in the Windows Simulator demo jobs (corePKCS11,
core libraries, FreeRTOS+TCP) hardcoded the VS 2022 *Enterprise* path to
Launch-VsDevShell.ps1. The GitHub windows-latest runner image no longer
provides Visual Studio under that edition path, so the step fails with
'Launch-VsDevShell.ps1 ... is not recognized' and all three WinSim demo
jobs error out.
Use vswhere.exe (which lives at a fixed, edition-independent location) to
discover the VS installation path at runtime, then invoke the located
Launch-VsDevShell.ps1.
In FreeRTOS_Plus_TCP_Echo_Posix/console.c:
- Add missing xSemaphoreGive() call in console_print() to prevent
mutex starvation after vprintf completes
- Fix uncrustify formatting: indent preprocessor directives (#if/#else/#endif),
add space between #if and condition, remove space in empty xSemaphoreCreateMutex()
* Update coreMQTT to v5.0.0 and migrate demos to MQTT v5 API
- Update coreMQTT submodule to v5.0.0 release
* Update Agent module
* Update coreMQTT-Agent to point to latest commit
* docs: add beginner-friendly FreeRTOS overview
* docs: direct users to freertos.org for documentation
Updates README to remove inline beginner explanations and instead direct users to the official FreeRTOS website for comprehensive documentation.
* Demo/Common: fix divide by zero possibility and non-used return values
- In TimerDemo.c fix possible divide by zero in
"xMaxBlockTimeUsedByTheseTests / xCycleFrequency".
- Move this code in TimerDemo.c into if-clause where it is
actually used.
- In Minimal/StreamBufferDemo.c and Minimal/TaskNotify.c avoid
unused return values.
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
Co-authored-by: Kody Stribrny <kstribrn@amazon.com>
* Demo/CORTEX_LM3S6965_GCC_QEMU: Trim trailing spaces & lines
* Demo/CORTEX_LM3S6965_GCC_QEMU: Fix Eclipse build 1/2 (examples)
It was trying to build the examples, which pulled in symbols such as
`_write` that are not implemented.
* Demo/CORTEX_LM3S6965_GCC_QEMU: Fix Eclipse build 1/2 (discard .ARM.exidx)
Somewhere along the line now there is the .ARM.exidx section in the
files, we don't use exceptions so can just discard it.
* Demo/CORTEX_LM3S6965_GCC_QEMU: Add CMake
* Debug/CORTEX_LM3S6965_GCC_QEMU: Fix Qemu startup
It was tripping on port.c
/* Check that the maximum system call priority is nonzero after
* accounting for the number of priority bits supported by the
* hardware. A priority of 0 is invalid because setting the BASEPRI
* register to 0 unmasks all interrupts, and interrupts with priority 0
* cannot be masked using BASEPRI.
* See https://www.FreeRTOS.org/RTOS-Cortex-M3-M4.html */
configASSERT( ucMaxSysCallPriority );
Inspecting the value ucMaxPriorityValue gave 0xE0, and setting it to
0xE0 complains about overflow in
FreeRTOS/Demo/CORTEX_LM3S6965_GCC_QEMU/LocalDemoFiles/IntQueueTimer.c:57
/* Shift left 5 as only the top 3 bits are implemented. */
IntPrioritySet( INT_TIMER2A, configMAX_SYSCALL_INTERRUPT_PRIORITY + ( 1 << 5 ) );
* Add qemu options to run in headless mode
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
- Compiling Demo/Common/Minimal/TimerDemo.c with "gcc -flto" breaks the
tests, so add "volatile" modifier to "ucOneShotTimerCounter" to fix
this.
- In Demo/FreeRTOS_Plus_TCP_Echo_Qemu_mps2/main_networking.c print the
network configuration even more visible.
- In MessageBufferDemo.c and Demo/Posix_GCC/main_full.c fix compiler
warnings from "gcc -Wwrite-strings" by adding a const modifier.
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
Cleanup for clang compiler warnings:
- add "#include" to proper header files
- add "static" modifier to some vars
- if tracing is disabled, do not compile helper functions
- remove unused macro "mainFLASH_TASK_PRIORITY"
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
From looking at the code, I think this more strict error checking
was intended in xIsInterruptStreamBufferDemoStillRunning().
If not, then the else part and var could be completely removed
as dead code.
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
- Change CMakeLists.txt to set the C compiler flags instead
of the C++ compiler flags.
- Change to compiler warnings from "gcc -Wconversion" in
main_full.c.
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
Co-authored-by: Tony Josi <tonyjosi@amazon.com>
* Fix compiler warning "gcc -Wmissing-prototypes" in startup.c.
* For "gcc -flto" fix duplicate labels in asm (startup.c) and mark
some functions as "used" in startup.c and syscalls.c.
* Fix "gcc -Wredundant-decls" in main.c.
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
* clean up warnings from "gcc -Wconversion"
clean up warnings from "gcc -Wconversion"
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
* Fix formatting
---------
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
Co-authored-by: Rahul Kar <karahulx@amazon.com>
FreeRTOS_Plus_TCP_Echo_Qemu_mps2: fix compile with "gcc -flto"
by adding "__attribute__( used )" to isr_vector and _fstat().
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
* FreeRTOS_Plus_TCP_Echo_Qemu_mps2: cleanup
FreeRTOS_Plus_TCP_Echo_Qemu_mps2:
- Add missing include for header files.
- Remove redundant function declarations.
- Add "static" modifier if possible.
- No need to use "weak" for EthernetISR().
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
This commit updates the __stack_size definition in the
linker flags, changing its value from 350 to 352. This
change ensures that the stack size is a multiple of 16,
aligning the stack pointer (sp) to a 16-byte boundary
as required by the system architecture.
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Increase the memory for RVA23 compilation
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Update the regtest to include fpu registers
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Fix small issues for 64-bit configs
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Enable FPU unit
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Enable compilation for RVA23 platforms
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Fix copyright related CI issues
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Update submodule manifest
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Update a few typos and left overs
* Demo: RISC-V_RV32_QEMU_VIRT_GCC: Apply @aggarg's sugestions
* Update pointer to Freertos-Kernel
Compiling this demo with picolibc 1.8.9 (as packaged with Debian trixie)
results in a stack overflow. Increasing the minimal stack size from
80 to 88 bytes resolves this. (Debian trixie arm crosscompiler defaults
to compile/link against picolibc and not newlib anymore.)
Signed-off-by: Florian La Roche <Florian.LaRoche@gmail.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
* Update the coreMQTT submodule pointer
* [coreMQTT Version Update] Include core_mqtt_config.h in mqtt helper files
* Update the coreMQTT-Agent Submodule pointer to the updated fork branch
* Update manifest.yml file
* Add readme for OTA demos transitioning
* Update the pointer to coreMQTT-Agent to the upstream main and update manifest file
* Update manifest file
---------
Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>
