Alexander Boettcher 0b019d0508 base: move x86 uart driver from nova to base ...

So it can be reused by base-hw-x86 instead of re-writing it.

Fixes #1403

2015-07-21 09:30:11 +02:00

..

include

base: move x86 uart driver from nova to base

2015-07-21 09:30:11 +02:00

kernel

hw: eliminate missing references for consts

2015-07-01 14:46:16 +02:00

spec

remove Versatile Express board (Fix #1611)

2015-07-07 19:48:06 +02:00

boot_modules.s

hw: map binaries of boot modules on demand

2014-06-06 14:54:31 +02:00

capability.cc

hw: kernel backed capabilities (Fix #1443)

2015-05-26 09:40:04 +02:00

console.cc

hw: re-organize file structure

2014-08-15 10:19:48 +02:00

core_rm_session.cc

hw: minor 64-bit fixes

2015-02-16 13:40:36 +01:00

cpu_session_support.cc

CPU session: apply quota via relative weightings

2015-05-06 10:55:16 +02:00

env.cc

hw: kernel backed capabilities (Fix #1443)

2015-05-26 09:40:04 +02:00

io_mem_session_support.cc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

irq_session_component.cc

hw: free correct IRQ when closing IRQ session

2015-07-01 14:46:15 +02:00

pager.cc

hw: use kernel signal API for page-fault signals

2015-07-01 14:46:18 +02:00

perf_counter.cc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

platform_pd.cc

hw: allocate core's page-tables outside of binary

2015-07-01 14:46:17 +02:00

platform_thread.cc

hw: fix CPU-quota bug in Platform_thread

2015-07-07 19:48:08 +02:00

platform.cc

hw: allocate core's page-tables outside of binary

2015-07-01 14:46:17 +02:00

ram_session_support.cc

hw: correctly flush cache on ARM (fix #1257)

2014-10-10 13:02:30 +02:00

rm_session_support.cc

hw: use kernel signal API for page-fault signals

2015-07-01 14:46:18 +02:00

signal_session_component.cc

hw: kernel backed capabilities (Fix #1443)

2015-05-26 09:40:04 +02:00

target.mk

hw: enable kernel-internal tests via run tool

2014-11-28 12:02:34 +01:00

thread_start.cc

hw: kernel backed capabilities (Fix #1443)

2015-05-26 09:40:04 +02:00