7 Commits

Author	SHA1	Message	Date
Christian Helmuth	2c3a0bbe1b	nova: re-throw uncatched exception of dying thread ... If the re-throw works, we will can see which exception type was thrown.	2014-05-27 13:45:20 +02:00
Norman Feske	615830e107	Enable hash checks for ports mechanism	2014-05-27 13:45:03 +02:00
Christian Prochaska	078883fda3	base: interface for D- and I-cache synchronization ... On ARM, when machine instructions get written into the data cache (for example by a JIT compiler), one needs to make sure that the instructions get written out to memory and read from memory into the instruction cache before they get executed. This functionality is usually provided by a kernel syscall and this patch adds a generic interface for Genode applications to use it. Fixes #1153.	2014-05-27 11:14:45 +02:00
Norman Feske	05a460c11f	Temporarily disable hash checks ... ...until the transition to the new ports management is complete.	2014-05-27 11:14:44 +02:00
Norman Feske	7d4f8fa746	base-nova: migrate to new ports mechanism ... Issue #1082	2014-05-27 11:14:43 +02:00
Norman Feske	9f43aa4363	base-nova: fully qualify Utcb type	2014-05-27 11:14:41 +02:00
Norman Feske	ca971bbfd8	Move repositories to 'repos/' subdirectory ... This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082	2014-05-14 16:08:00 +02:00