Added support for linux kernel.

- Also, removed standard includes from several files

include/arch/pico_linux.h

@@ -0,0 +1,34 @@
+#ifndef PICO_SUPPORT_LINUX
+#define PICO_SUPPORT_LINUX
+#include "linux/types.h"
+#include "linux/mm.h"
+#include "linux/slab.h"
+#include "linux/jiffies.h"
+typedef u64 uint64_t;
+
+#define dbg printk
+
+#define pico_zalloc(x) kcalloc(x, 1, GFP_ATOMIC) /* All allocations are GFP_ATOMIC for now */
+#define pico_free(x) kfree(x)
+
+
+
+static inline unsigned long PICO_TIME(void)
+{
+    return (unsigned long)(jiffies_to_msecs(jiffies) / 1000);
+}
+
+static inline unsigned long PICO_TIME_MS(void)
+{
+    return (unsigned long)jiffies_to_msecs(jiffies);
+}
+
+static inline void PICO_IDLE(void)
+{
+    unsigned long now = jiffies;
+    while (now == jiffies) {
+        ;
+    }
+}
+
+#endif

include/pico_addressing.h

@@ -6,7 +6,6 @@
 #ifndef INCLUDE_PICO_ADDRESSING
 #define INCLUDE_PICO_ADDRESSING
 
-#include <stdint.h>
 #include "pico_config.h"
 
 PACKED_STRUCT_DEF pico_ip4

include/pico_config.h

@@ -10,6 +10,8 @@
 #include <stdint.h>
 #include <stdlib.h>
 #include <string.h>
+#else
+#include <linux/types.h>
 #endif
 
 #if defined __IAR_SYSTEMS_ICC__ || defined ATOP
@@ -210,6 +212,8 @@ static inline uint64_t long_long_be(uint64_t le)
 # include "../test/pico_faulty.h"
 #elif defined ARCHNONE
 # include "arch/pico_none.h"
+#elif defined __KERNEL__
+# include "arch/pico_linux.h"
 
 
 /* #elif defined ... */

include/pico_protocol.h

@@ -5,7 +5,7 @@
  *********************************************************************/
 #ifndef INCLUDE_PICO_PROTOCOL
 #define INCLUDE_PICO_PROTOCOL
-#include <stdint.h>
+#include "pico_config.h"
 #include "pico_queue.h"
 
 #define PICO_LOOP_DIR_IN   1

include/pico_queue.h

@@ -5,7 +5,6 @@
  *********************************************************************/
 #ifndef INCLUDE_PICO_QUEUE
 #define INCLUDE_PICO_QUEUE
-#include <stdint.h>
 #include "pico_config.h"
 #include "pico_frame.h"
 

include/pico_socket.h

@@ -12,7 +12,7 @@
 #include "pico_tree.h"
 
 #ifdef __linux__
-    #define PICO_DEFAULT_SOCKETQ (16 * 1024) /* Linux host, so we want full throttle */
+    #define PICO_DEFAULT_SOCKETQ (256 * 1024) /* Linux host, so we want full throttle */
 #else
     #define PICO_DEFAULT_SOCKETQ (6 * 1024) /* seems like an acceptable default for small embedded systems */
 #endif

include/pico_tree.h

@@ -8,7 +8,6 @@
 #ifndef PICO_RBTREE_H
 #define PICO_RBTREE_H
 
-#include <stdint.h>
 #include "pico_config.h"
 
 /* This is used to declare a new tree, leaf root by default */

modules/pico_dns_client.h

@@ -12,7 +12,6 @@
 
 #define PICO_DNS_NS_DEL 0
 #define PICO_DNS_NS_ADD 1
-#include <stdint.h>
 #include "pico_config.h"
 
 /* Compression values */

modules/pico_mm.c

@@ -5,10 +5,7 @@
    Authors: Gustav Janssens, Jonas Van Nieuwenberg, Sam Van Den Berge
  *********************************************************************/
 
-
-#include <stdint.h>
-#include <stdlib.h>
-#include <stdio.h>
+#include "pico_config.h"
 #include "pico_mm.h"
 #include "pico_tree.h"
 #include "pico_config.h"

modules/pico_mm.h

@@ -9,7 +9,7 @@
 #ifndef _INCLUDE_PICO_MM
 #define _INCLUDE_PICO_MM
 
-#include <stdint.h>
+#include "pico_config.h"
 
 /*
  * Memory init function, this will create a memory manager instance

modules/pico_socket_tcp.c

@@ -1,4 +1,4 @@
-#include <stdint.h>
+#include "pico_config.h"
 #include "pico_socket.h"
 #include "pico_ipv4.h"
 #include "pico_ipv6.h"

modules/pico_socket_udp.c

@@ -1,4 +1,4 @@
-#include <stdint.h>
+#include "pico_config.h"
 #include "pico_socket.h"
 #include "pico_udp.h"
 #include "pico_socket_multicast.h"

stack/pico_socket_multicast.c

@@ -1,4 +1,4 @@
-#include <stdint.h>
+#include "pico_config.h"
 #include "pico_stack.h"
 #include "pico_socket.h"
 #include "pico_socket_multicast.h"