Norman Feske ebc73f66df Remove base-mb platform ...

This base platform is no longer maintained.

For supporting the Microblaze CPU in the future, we might consider
integrating support for this architecture into base-hw. Currently
though, there does not seem to be any demand for it.

2013-02-20 13:17:39 +01:00

..

allocator_avl.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

allocator_guard.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

allocator.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

blocking.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

cancelable_lock.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

capability.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

child.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

connection.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

console.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

crt0.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

elf.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

env.h

Turn 'platform_env.h' into a private header

2013-02-14 13:23:36 +01:00

errno.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

exception.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

heap.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

ipc.h

Unify 'ipc.h' and 'ipc_generic.h' across platforms

2013-02-14 13:23:37 +01:00

lock_guard.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

lock.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

native_capability.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

object_pool.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

pager.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

printf.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

process.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

rpc_args.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

rpc_client.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

rpc_server.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

rpc.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

semaphore.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

service.h

Add 'Service_registry::remove_all' function

2013-01-15 10:18:11 +01:00

signal.h

Synchronize signal context destruction

2013-01-15 15:03:21 +01:00

slab.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

sleep.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

snprintf.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

stdint.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

sync_allocator.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

thread_state.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

thread.h

Remove base-mb platform

2013-02-20 13:17:39 +01:00

tslab.h

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00