Skip to content
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

App housekeeping + Add support for DISCO_F429ZI and EFM32GG_STK3700 #40

Merged
merged 11 commits into from
Jun 13, 2017

Conversation

AlessandroA
Copy link

@Patater @niklas-arm

@AlessandroA
Copy link
Author

retest uvisor

@AlessandroA AlessandroA force-pushed the apps_housekeeping branch 5 times, most recently from 1b4a3c3 to 7381fb5 Compare June 12, 2017 14:28
@@ -1 +1 @@
https://github.com/ARMmbed/mbed-os/#fc1836545dcc2fc86f03b01292b62bf2089f67c3
https://github.com/ARMmbed/mbed-os/#92fbf2a9b3988d430482fc25a6077f2462e2a634
Copy link
Contributor

Choose a reason for hiding this comment

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

Please mention what version this is in the commit message.

Copy link
Author

Choose a reason for hiding this comment

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

Done

source/main.cpp Outdated
@@ -38,7 +38,7 @@ DigitalOut led_red(LED1);
DigitalOut led_green(LED2);
DigitalOut led_blue(LED3);

Serial shared_pc(USBTX, USBRX);
Serial shared_pc(USBTX, USBRX, 115200);
Copy link
Contributor

@Patater Patater Jun 13, 2017

Choose a reason for hiding this comment

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

Please make this commit ("Explicitly set the baud rate for the shared Serial") add SHARED_SERIAL_BAUD to all targets. This commit should come before the adding of new targets commits, so that each new target added will work in the commit it is added.

Copy link
Author

Choose a reason for hiding this comment

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

Done

client_a: Attempt to write 0xFFFFFC18 (granted)
public : Attempt to read : 0xFFFFFC18 (granted)

***** uVisor secure number store example *****
Copy link
Contributor

Choose a reason for hiding this comment

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

Remove SHARED_SERIAL_BAUD from the "Update UART log for the CI" commit.

Copy link
Author

Choose a reason for hiding this comment

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

Done

Now that mbed OS has been updated, we do not need the backwards
compatible guard any more.
* Reduce pages-backed memory, which is not needed by this example.
* Increase memory where needed to make sure threads have enough buffer
  space for printf.
The code snippet added here has been auto-generated by uVisor when
running the app in debug mode. The additional reserved space is needed
as a result of an ARMv7-M MPU limitation.
This makes it easier to maintain this file across different
applications.
To help CI, we want the first messages of the sequence to be
predicatble. After the first burst, timing will mix messages up, which
is good for the robustness of the app.
public box threads.
This helps avoiding confusion when different targets have different baud
rate expectation. If we enable the EFM32GG_STK3700 target, for example,
it would fail to print if the baud rate was 9600, the default mbed baud
rate.
Fixes ARMmbed#19: "mbed-os-example-uvisor-number-store doesn't work on EFM32GG_STK3700"
Fixes ARMmbed#18: "mbed-os-example-uvisor-number-store doesn't work on DISCO_F429ZI"
@AlessandroA AlessandroA merged commit bd907b6 into ARMmbed:master Jun 13, 2017
@AlessandroA AlessandroA deleted the apps_housekeeping branch June 13, 2017 18:05
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.

2 participants