-
Notifications
You must be signed in to change notification settings - Fork 66
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
Nitrogen6_SoloX board serial output doesn't work when sel4test -DRELEASE=ON
is used
#55
Comments
Running this currently requires the following patch to seL4_tools:
|
The baud rate calculation is done based off of the value of
The clocks for the nitrogen6sx:
Because the UART rate is only 24MHz on the Nitrogen6_SoloX, changing the constant to 12000000 (it needs to be half of the input clk frequency) makes the serial work. |
Fix: seL4/util_libs#108 |
@kent-mcleod : Can we close this since the fix is merged? |
When running sel4test on the Nitrogen6_SoloX board with release settings configured, seL4_DebugPutchar() is disabled and the platform serial driver from libplatsupport will be used instead. The error occurs when re-configuring the divider settings for the serial baud (if the baud reconfiguration is disabled such that the device is assumed to be initialized already then the serial works).
The text was updated successfully, but these errors were encountered: