From 21b5a7a0f156ef57556d18fbd601df800143b354 Mon Sep 17 00:00:00 2001
From: Daniele Lacamera <daniele.lacamera@tass.be>
Date: Mon, 13 Apr 2015 15:54:06 +0200
Subject: [PATCH] pico_rand_feed made weak for external pools feeding.

---
 stack/pico_stack.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stack/pico_stack.c b/stack/pico_stack.c
index 788c8cd0e..6048a238f 100644
--- 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;