Grissiom 6e676e7754 dev/portal: implement portal device ...

Portal is a device that connect devices. Currently, you can only connect
pipes in portal. Pipes are unidirectional. But with portal, you can
construct a bidirectional device with two pipes.

2013-08-20 12:54:43 +08:00

..

completion.c

Embedded GPLv2 license in drivers

2013-06-28 00:36:54 +08:00

dataqueue.c

Embedded GPLv2 license in drivers

2013-06-28 00:36:54 +08:00

pipe.c

dev/pipe: make pipe a type of device

2013-08-20 10:16:55 +08:00

portal.c

dev/portal: implement portal device

2013-08-20 12:54:43 +08:00

ringbuffer.c

ringbuffer: add put_force and putchar_force API

2013-08-19 15:32:42 +08:00

SConscript

Re-normalizing the repo

2013-01-08 22:40:58 +08:00