Todo List

Global console_driver::tx_buf

This really belongs in struct console.

Global usbb_sw_dma_desc::phys

not necessary on all CPUs

Global clk_enable_usbb

We should probably distinguish between the UTMI clock and the peripheral bus/HSB clocks.

Global portmux_enable_usbb

We actually have five different alternatives for each pin...

File flashc.c

This driver currently only supports changing the number of wait states. We should add support for flash programming at some point.

Global usbb_init

Add support for host and OTG modes.

File mempool.c

Add a "reset pool" operation which basically frees all objects associated with the pool. This could be useful for error recovery. It also requires fields keeping track of the memory area associated with the pool.

File mempool.c

Debugging feature: When freeing an object, verify that the object really belongs to the pool it is being freed to. This requires additional fields keeping track of the memory area associated with the pool.

File mempool.c

Debugging feature: When freeing an object, scan the pool to see if the object has been freed before.