Skip to content

Conversation

@andysun2015
Copy link
Contributor

@andysun2015 andysun2015 commented Nov 17, 2021

Description

Move the contents of FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/ to its parent folder i.e. FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/. This removes one unnecessary folder in the hierarchy.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@andysun2015 andysun2015 requested a review from a team as a code owner November 17, 2021 07:11
@andysun2015 andysun2015 requested a review from yourslab November 17, 2021 07:40
<ClCompile Include="..\..\..\Source\Application-Protocols\network_transport\sockets_wrapper\freertos_plus_tcp\sockets_wrapper.c">
<Filter>FreeRTOS+\FreeRTOS IoT Libraries\platform\transport</Filter>
</ClCompile>
<ClCompile Include="..\..\..\Source\Application-Protocols\network_transport\using_mbedtls\using_mbedtls\using_mbedtls.c">
Copy link
Contributor

@yourslab yourslab Nov 17, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I notice we have two subdirectories under using_mbedtls:

using_mbedtls
..using_mbedtls
..using_mbedtls_pkcs11

It is not obvious what using_mbedtls. We can rename it to something like using_mbedlts_no_pkcs11. However, it might be better to just remove it out of subdirectory and put both folders in upper level directory. I am fine with either option.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd like to make it in upper layer, will make the changes.

@andysun2015 andysun2015 force-pushed the reorg_network_transport branch from 778f8c3 to b20f8b0 Compare November 18, 2021 06:25
@aggarg aggarg changed the title Move out modules non-regarding using_mbedtls Remove using_mbedtls folder and move its content to the parent folder Nov 18, 2021
@aggarg aggarg merged commit 426ad44 into main Nov 18, 2021
@aggarg aggarg deleted the reorg_network_transport branch November 18, 2021 21:23
johnrhen pushed a commit to johnrhen/FreeRTOS that referenced this pull request Nov 24, 2021
…FreeRTOS#717)

Move the contents of FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/
to its parent folder i.e. FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/.
This removes one unnecessary folder in the hierarchy.
moninom1 pushed a commit to moninom1/FreeRTOS that referenced this pull request Apr 17, 2023
* Use CBMC XML output to enable VSCode debugger (FreeRTOS#673)

Prior to this commit, CBMC would emit logging information in plain text
format, which does not contain information required for the CBMC VSCode
debugger. This commit makes CBMC use XML instead of plain text.

Co-authored-by: Mark Tuttle <tuttle@acm.org>

* wip

* wip DHCPProcess

* wip dhcp process

* wip

* fix CBMC ProcessDHCPReplies proofs

* wip DHCPProcess

* fix DHCPProcess CBMC proof

* fix DHCPProcess CBMC proof

* added multiple end point

* fix ProcessDHCPReplies

* fix function sign.

* fix DHCP CBMC proofs

* NULL assume to assignment

* updating with changes wrt review comments

* adding more non determinism to the proof

* free memory in FreeRTOS_ReleaseUDPPayloadBuffer

* WIP DHCPProcess CBMC proof

* wip DHCP process

* reverting back to old version

* adding more comments

---------

Co-authored-by: Kareem Khazem <karkhaz@amazon.com>
Co-authored-by: Mark Tuttle <tuttle@acm.org>
urutva pushed a commit to urutva/FreeRTOS that referenced this pull request Aug 29, 2023
* Initial Version Pull Request Workflow

* Updated Contributing.md

* Improved contributing.md

* added pr process image and some edits based on peer feedback

* fixed links to image

* Fixed truncation

* Updated reviewer description

* Review feedback

---------

Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
Zangetsu112 pushed a commit to Zangetsu112/FreeRTOS-evpp that referenced this pull request Aug 18, 2025
…FreeRTOS#717)

Move the contents of FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/using_mbedtls/
to its parent folder i.e. FreeRTOS/FreeRTOS-Plus/Source/Application-Protocols/network_transport/.
This removes one unnecessary folder in the hierarchy.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants