pico_rand_feed made weak for external pools feeding.

tass-belgium · Apr 13, 2015 · 21b5a7a · 21b5a7a
1 parent 9cb0442
commit 21b5a7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stack/pico_stack.c b/stack/pico_stack.c
@@ -54,7 +54,7 @@ volatile pico_err_t pico_err;
 
 static uint32_t _rand_seed;
 
-void pico_rand_feed(uint32_t feed)
+void WEAK pico_rand_feed(uint32_t feed)
 {
     if (!feed)
         return;