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.

include/arch/pico_mbed.h

Committer:
tass
Date:
2013-09-19
Revision:
66:71a2ef45a035
Parent:
63:97f481e33cb2
Parent:
65:8cdaaa1df01d

File content as of revision 66:71a2ef45a035:

/*********************************************************************
PicoTCP. Copyright (c) 2012 TASS Belgium NV. Some rights reserved.
See LICENSE and COPYING for usage.
Do not redistribute without a written permission by the Copyright
holders.

File: pico_mbed.h
Author: Toon Peters
*********************************************************************/

#ifndef PICO_SUPPORT_MBED
#define PICO_SUPPORT_MBED

//#include "mbed.h"
//#include "serial_api.h"

//#define TIME_PRESCALE
/*
Debug needs initialization:
* void serial_init       (serial_t *obj, PinName tx, PinName rx);
* void serial_baud       (serial_t *obj, int baudrate);
* void serial_format     (serial_t *obj, int data_bits, SerialParity parity, int stop_bits);
*/

#define dbg(...) 
#define pico_zalloc(x) calloc(x, 1)
#define pico_free(x) free(x)


#define PICO_SUPPORT_MUTEX
extern void *pico_mutex_init(void);
extern void pico_mutex_lock(void*);
extern void pico_mutex_unlock(void*);

extern uint32_t os_time;

extern uint32_t os_time;
#ifdef TIME_PRESCALE
extern int32_t prescale_time;
#endif

static inline unsigned long PICO_TIME(void)
{
  #ifdef TIME_PRESCALE
  return (prescale_time < 0) ? (unsigned long)(os_time / 1000 << (-prescale_time)) : \
                                (unsigned long)(os_time / 1000 >> prescale_time);
  #else
  return (unsigned long)(os_time / 1000);
  #endif
  
}

static inline unsigned long PICO_TIME_MS(void)
{
  #ifdef TIME_PRESCALE
  return (prescale_time < 0) ? (unsigned long)(os_time << (-prescale_time)) : \
                                (unsigned long)(os_time >> prescale_time);
  #else
  return (unsigned long)os_time;
  #endif
}

static inline void PICO_IDLE(void)
{
  // TODO needs implementation
}
/*
static inline void PICO_DEBUG(const char * formatter, ... )
{
  char buffer[256];
  char *ptr;
  va_list args;
  va_start(args, formatter);
  vsnprintf(buffer, 256, formatter, args);
  ptr = buffer;
  while(*ptr != '\0')
    serial_putc(serial_t *obj, (int) (*(ptr++)));
  va_end(args);
  //TODO implement serial_t
}*/

#endif