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