Kees Jongenburger eec4c10f33 arm:ddekit use simple alloc to allocate stack. ...

Workaround for:
-ddekit large alloc unnecessarily allocating physical contiguous memory.
-the ARM port expecting that physical contiguous memory equals device memory.

2014-07-28 17:05:24 +02:00

..

common.h

Removing obsolete _MINIX define

2013-02-26 09:44:20 +00:00

condvar.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

dde.c

Changing the message union to anonymous.

2014-03-03 20:46:47 +01:00

dde.h

added libddekit

2011-02-25 12:40:31 +00:00

debug.h

added libddekit

2011-02-25 12:40:31 +00:00

initcall.c

Upgrade libddekit and introduce devmand.

2012-06-18 09:23:42 +02:00

irq.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

irq.h

retire _PROTOTYPE

2012-03-25 16:17:10 +02:00

lock.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

mem.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

msg_queue.c

Retire the synchronous character driver protocol

2014-02-18 11:25:02 +01:00

panic.c

panic: declare as printf-style-checked

2013-05-31 13:35:25 +00:00

pci.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

pgtab.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

printf.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

resource.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

semaphore.c

retire PUBLIC, PRIVATE and FORWARD

2012-03-25 21:58:14 +02:00

thread.c

arm:ddekit use simple alloc to allocate stack.

2014-07-28 17:05:24 +02:00

thread.h

ddekit:use ucontext to switch threads

2014-07-28 17:05:22 +02:00

timer.c

libc: add clock_getres()/clock_gettime() system calls.

2013-04-04 15:04:53 +02:00

timer.h

added libddekit

2011-02-25 12:40:31 +00:00

usb_client.c

Upgrade libddekit and introduce devmand.

2012-06-18 09:23:42 +02:00

usb_server.c

Adding ipc_ prefix to ipc primitives

2014-03-01 09:05:01 +01:00

util.h

added libddekit

2011-02-25 12:40:31 +00:00