Skip to content

Replaced rtos profile with full profile #13118

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

Merged
merged 1 commit into from
Jun 18, 2020
Merged

Conversation

evedon
Copy link
Contributor

@evedon evedon commented Jun 15, 2020

Summary of changes

supported_application_profiles is a configuration parameter currently used for documentation only. It will be used to list the profiles supported by the application: full (the current default in Mbed OS which includes the rtos) or bare metal.

Impact of changes

None

Migration actions required

None

Documentation

N/A


Pull request type

[x] Patch update (Bug fix / Target update / Docs update / Test update / Refactor)
[] Feature update (New feature / Functionality change / New API)
[] Major update (Breaking change E.g. Return code change / API behaviour change)

Test results

[x] No Tests required for this change (E.g docs only update)
[] Covered by existing mbed-os tests (Greentea or Unittest)
[] Tests / results supplied as part of this PR

Reviewers


@ciarmcom ciarmcom requested a review from a team June 15, 2020 13:00
@ciarmcom
Copy link
Member

@evedon, thank you for your changes.
@ARMmbed/mbed-os-maintainers please review.

Copy link
Contributor

@0xc0170 0xc0170 left a comment

Choose a reason for hiding this comment

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

No change of tools or anything to reflect rtos -> full ?

@mergify mergify bot added needs: CI and removed needs: review labels Jun 17, 2020
@mbed-ci
Copy link

mbed-ci commented Jun 17, 2020

Test run: SUCCESS

Summary: 6 of 6 test jobs passed
Build number : 1
Build artifacts

@0xc0170 0xc0170 requested a review from a team June 17, 2020 11:31
@0xc0170 0xc0170 added the release-type: patch Indentifies a PR as containing just a patch label Jun 18, 2020
@0xc0170
Copy link
Contributor

0xc0170 commented Jun 18, 2020

This does not need any additional review and ready to get in ?

@0xc0170 0xc0170 merged commit 920133e into ARMmbed:master Jun 18, 2020
@mergify mergify bot removed the ready for merge label Jun 18, 2020
@adbridge adbridge added release-version: 6.1.0 Release-pending and removed release-type: patch Indentifies a PR as containing just a patch Release-pending labels Jun 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants