Switch the clock settings to an operational state after the init for the sdhc driver

seL4 / projects_libs

Other

6 stars 20 forks source link

Switch the clock settings to an operational state after the init for the sdhc driver #6

Closed matthiasbuhl closed 4 years ago

matthiasbuhl commented 4 years ago

Looking through the sdhc driver, I noticed that the driver never switches from the initialization clock settings to a higher clock rate for an operational state. Adding the switch improved our read/write speeds on the boards we used for testing. In addition to that, a few commits clean up some minor inconsistencies. Looking forward to your review/feeback!

matthiasbuhl commented 4 years ago

@ssrg-bamboo test

axel-h commented 4 years ago

@ssrg-bamboo test

ssrg-bamboo commented 4 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

ssrg-bamboo commented 4 years ago

All the tests we ran have passed! Nice job!

axel-h commented 4 years ago

@ssrg-bamboo test

ssrg-bamboo commented 4 years ago

Hello, I'm a bot! I'll bring this PR into Trustworthy Systems and run some tests

ssrg-bamboo commented 4 years ago

All the tests we ran have passed! Nice job!