Merge remote-tracking branch 'public/pr/2930' into baremetal
diff --git a/library/platform_util.c b/library/platform_util.c
index db46fe9..1a0fefa 100644
--- a/library/platform_util.c
+++ b/library/platform_util.c
@@ -142,7 +142,10 @@
uint32_t mbedtls_platform_random_in_range( size_t num )
{
-#if !defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
+ /* Temporary force the dummy version - drawing directly from the HRNG
+ * seems to be causing issues, avoid doing that until we understood the
+ * issue, and perhaps we'll need to draw from a DRBG instead. */
+#if 1 || !defined(MBEDTLS_ENTROPY_HARDWARE_ALT)
(void) num;
return 0;
#else