History log of /seL4-refos-master/projects/util_libs/libethdrivers/src/pico_dev_eth.c
Revision Date Author Comments
# 6250ac9c 26-Mar-2020 Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>

trivial: Style fix


# ce3a382e 25-Mar-2020 Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>

pico_dev_eth: Bug fix

A simple linked-list bug: `buf_pool` has a free list for bookkeeping
free ethernet buffers, it keeps track of the index of the latest free
buffer (the head). Every time a new free buffer arrived, it updates
the head of the free list to the index of the new buffer, then stores
the index of the old head inside the new head's buffer. It wasn't
implemented properly as it stores the old head's index inside its own
buffer and does nothing to the new head's buffer.
This could cause random memory corruption bugs.

Fix: Store the index of the old head into the new free buffer correctly.


# bca9b499 21-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

libethdrivers: include config of lwip and picotcp

since global autoconf is removed, we need to explicitly
include the config of lwip and picotcp which will further
indicate the existance of corresponding lib


# 3f9cdc14 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

util_libs: remove autoconf.h from util_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# 8a2174c5 02-Jan-2019 James Ye <james.ye@data61.csiro.au>

libethdrivers: Fix indenting


# ac01016b 01-Jan-2019 James Ye <james.ye@data61.csiro.au>

libethdrivers: 64-bit compatibility fixes


# 398af6af 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file


# e87b5a44 05-Jul-2017 hzeng <Roger.Zeng@data61.csiro.au>

Fixed the Makefile to include pico_ethernet.c
Fixed libethdrivers/src/pico_dev_eth.c to compare the flag CONFIG_LIB_PICOTCP_ASYNC_DRIVER using #ifdef rather than if()
Fixed Kconfig description message


# c7846bf2 28-Jun-2017 Addo Wondo <addo.wondo@data61.csiro.au>

Create Kconfig options


# f79968df 22-Jun-2017 Addo Wondo <addo.wondo@data61.csiro.au>

Revert "Revert commits from picotcp"

This reverts commit ba4824bb8ca6fc42645d1dff9f323206177478f1.

Put in guards to prevent compilation issues when library is not in use.


# ba4824bb 13-Jun-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Revert commits from picotcp

These commits introduce a dependency that has no clear resolution

Revert "Cleanup the code and update license"
This reverts commit 27104d0d4790489b6f2e46e2701d15f47fcc7f24.
Revert "Bug fix"
This reverts commit 6073c50b0aeb5d9e5e473275438393d1b1471264.
Revert "Add no malloc version of picotcp create"
This reverts commit 3d6d905ddf4040e2c873e4bd78bcd037d5b673c0.
Revert "Add picotcp to Kbuild"
This reverts commit 353a79b9c573dbc4e9b8c66abcb42a8128c66619.
Revert "Remove usage of deprecated LOG_ERROR function."
This reverts commit 1109941bd0cefe1764676c7b855636a2e6bf12f7.
Revert "Add a shared buffer for rx and tx."
This reverts commit 1a879aa7c77a600c2b13a5d03fd4d87f2fe896b9.
Revert "Async driver interface for picotcp"
This reverts commit b5b81e9220bc2925e29b27cfb16080028f80fa7c.


# 27104d0d 02-Jun-2017 Addo Wondo <addo.wondo@data61.csiro.au>

Cleanup the code and update license


# 6073c50b 09-Jan-2017 Addo Wondo <addo.wondo@data61.csiro.au>

Bug fix


# 3d6d905d 09-Jan-2017 Addo Wondo <addo.wondo@data61.csiro.au>

Add no malloc version of picotcp create


# 1109941b 08-Dec-2016 Addo Wondo <addo.wondo@nicta.com.au>

Remove usage of deprecated LOG_ERROR function.


# 1a879aa7 06-Dec-2016 Addo Wondo <addo.wondo@nicta.com.au>

Add a shared buffer for rx and tx.


# b5b81e92 01-Dec-2016 Addo Wondo <addo.wondo@data61.csiro.au>

Async driver interface for picotcp


# 6aa885b8 22-Jun-2016 Addo Wondo <addo.wondo@nicta.com.au>

Add an interface for PicoTCP