-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Fix issues in TCP QEMU Demo #948
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
| { | ||
| BaseType_t x; | ||
|
|
||
| /*set Ethernet interrupt priority to configMAC_INTERRUPT_PRIORITY*/ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
| /*set Ethernet interrupt priority to configMAC_INTERRUPT_PRIORITY*/ | |
| /* Set Ethernet interrupt priority to configMAC_INTERRUPT_PRIORITY. */ |
| #define __CM3_REV 0x0201 /* Core revision r2p1 */ | ||
| #define __MPU_PRESENT 1 /* MPU present or not */ | ||
| #define __NVIC_PRIO_BITS 3 /* Number of Bits used for Priority Levels */ | ||
| #define __NVIC_PRIO_BITS 8 /* Number of Bits used for Priority Levels */ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can we avoid changing this file, as it is a copy from CMSDK library
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is needed because QEMU reports as all 8 bits implemented.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
do we need to set a note somewhere if someone updates the library, to make the necessary changes ? (possibly in the readme)
Signed-off-by: Gaurav Aggarwal <[email protected]>
* update the freertos + TCP demos to use the neew API for getting the UDP pyaload buffer [FreeRTOS_GetUDPPayloadBuffer_ByIPType] (#938) * Add CBMC proof-running GitHub Action (#924) * Added two config options to the FreeRTOSConfig file to get the demo running again. Fixed a typo in a file. Added a section to the link file (#940) * Create SMP on target test framework. (#911) * Fix CBMC proof failures (#946) These were introduced in PR #620. * Make static IP address configurable (#947) * Fix issues in TCP QEMU Demo (#948)
* Fix issues in TCP QEMU Demo * set the Ethernet interrupt priority * Include CMSIS header files to fix build issues * Review suggestion Signed-off-by: Gaurav Aggarwal <[email protected]> --------- Signed-off-by: Gaurav Aggarwal <[email protected]> Co-authored-by: Gaurav Aggarwal <[email protected]>
Fix issues in TCP QEMU Demo
Description
Test Steps
TCP_Echo_QEMU_mps2 Demo is run with these modifications successfully.
Checklist:
Related Issue
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.