Daniele Lacamera / PicoTCP Featured

Free (GPLv2) TCP/IP stack developed by TASS Belgium

Dependents:   lpc1768-picotcp-demo ZeroMQ_PicoTCP_Publisher_demo TCPSocket_HelloWorld_PicoTCP Pico_TCP_UDP_Test ... more

PicoTCP. Copyright (c) 2013 TASS Belgium NV.

Released under the GNU General Public License, version 2.

Different licensing models may exist, at the sole discretion of the Copyright holders.

Official homepage: http://www.picotcp.com

Bug tracker: https://github.com/tass-belgium/picotcp/issues

Development steps:

  • initial integration with mbed RTOS
  • generic mbed Ethernet driver
  • high performance NXP LPC1768 specific Ethernet driver
  • Multi-threading support for mbed RTOS
  • Berkeley sockets and integration with the New Socket API
  • Fork of the apps running on top of the New Socket API
  • Scheduling optimizations
  • Debugging/benchmarking/testing

Demo application (measuring TCP sender performance):

Import programlpc1768-picotcp-demo

A PicoTCP demo app testing the ethernet throughput on the lpc1768 mbed board.

Last commit 17 May 2013 by TASS Belgium

include/arch/pico_mbed.h@1:cfe8984a32b4, 2013-05-17 (annotated)

Committer:
tass
Date:
Fri May 17 12:09:59 2013 +0000
Revision:
1:cfe8984a32b4
Parent:
libraries/picotcp/include/arch/pico_mbed.h@0:d7f2341ab245 
Update for smaller SOCKETQ

Who changed what in which revision?

UserRevisionLine numberNew contents of line
daniele 0:d7f2341ab245 1 /*********************************************************************
daniele 0:d7f2341ab245 2 PicoTCP. Copyright (c) 2012 TASS Belgium NV. Some rights reserved.
daniele 0:d7f2341ab245 3 See LICENSE and COPYING for usage.
daniele 0:d7f2341ab245 4 Do not redistribute without a written permission by the Copyright
daniele 0:d7f2341ab245 5 holders.
daniele 0:d7f2341ab245 6
daniele 0:d7f2341ab245 7 File: pico_mbed.h
daniele 0:d7f2341ab245 8 Author: Toon Peters
daniele 0:d7f2341ab245 9 *********************************************************************/
daniele 0:d7f2341ab245 10
daniele 0:d7f2341ab245 11 #ifndef PICO_SUPPORT_MBED
daniele 0:d7f2341ab245 12 #define PICO_SUPPORT_MBED
daniele 0:d7f2341ab245 13
daniele 0:d7f2341ab245 14 //#include "mbed.h"
daniele 0:d7f2341ab245 15 //#include "serial_api.h"
daniele 0:d7f2341ab245 16
daniele 0:d7f2341ab245 17 /*
daniele 0:d7f2341ab245 18 Debug needs initialization:
daniele 0:d7f2341ab245 19 * void serial_init (serial_t *obj, PinName tx, PinName rx);
daniele 0:d7f2341ab245 20 * void serial_baud (serial_t *obj, int baudrate);
daniele 0:d7f2341ab245 21 * void serial_format (serial_t *obj, int data_bits, SerialParity parity, int stop_bits);
daniele 0:d7f2341ab245 22 */
daniele 0:d7f2341ab245 23
daniele 0:d7f2341ab245 24 #define dbg(...)
daniele 0:d7f2341ab245 25 #define pico_zalloc(x) calloc(x, 1)
daniele 0:d7f2341ab245 26 #define pico_free(x) free(x)
daniele 0:d7f2341ab245 27
daniele 0:d7f2341ab245 28 extern uint32_t os_time;
daniele 0:d7f2341ab245 29
daniele 0:d7f2341ab245 30 static inline unsigned long PICO_TIME(void)
daniele 0:d7f2341ab245 31 {
daniele 0:d7f2341ab245 32 return (unsigned long)os_time / 1000;
daniele 0:d7f2341ab245 33 }
daniele 0:d7f2341ab245 34
daniele 0:d7f2341ab245 35 static inline unsigned long PICO_TIME_MS(void)
daniele 0:d7f2341ab245 36 {
daniele 0:d7f2341ab245 37 return (unsigned long)os_time;
daniele 0:d7f2341ab245 38 }
daniele 0:d7f2341ab245 39
daniele 0:d7f2341ab245 40 static inline void PICO_IDLE(void)
daniele 0:d7f2341ab245 41 {
daniele 0:d7f2341ab245 42 // TODO needs implementation
daniele 0:d7f2341ab245 43 }
daniele 0:d7f2341ab245 44 /*
daniele 0:d7f2341ab245 45 static inline void PICO_DEBUG(const char * formatter, ... )
daniele 0:d7f2341ab245 46 {
daniele 0:d7f2341ab245 47 char buffer[256];
daniele 0:d7f2341ab245 48 char *ptr;
daniele 0:d7f2341ab245 49 va_list args;
daniele 0:d7f2341ab245 50 va_start(args, formatter);
daniele 0:d7f2341ab245 51 vsnprintf(buffer, 256, formatter, args);
daniele 0:d7f2341ab245 52 ptr = buffer;
daniele 0:d7f2341ab245 53 while(*ptr != '\0')
daniele 0:d7f2341ab245 54 serial_putc(serial_t *obj, (int) (*(ptr++)));
daniele 0:d7f2341ab245 55 va_end(args);
daniele 0:d7f2341ab245 56 //TODO implement serial_t
daniele 0:d7f2341ab245 57 }*/
daniele 0:d7f2341ab245 58
daniele 0:d7f2341ab245 59 #endif