genode

mirror of https://github.com/genodelabs/genode.git synced 2025-03-13 15:56:32 +00:00

History

Christian Helmuth 0b5f901e58 Log name of exiting child from Child::exit()

Fixes #1243.

2014-09-11 10:23:39 +02:00

ada

Move repositories to 'repos/' subdirectory

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

affinity

Move repositories to 'repos/' subdirectory

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

cap_integrity

Move repositories to 'repos/' subdirectory

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

ds_ownership

Move repositories to 'repos/' subdirectory

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

fpu

base: test for the pseudo-parallel use of an FPU

2014-06-26 10:57:25 +02:00

mp_server

Move repositories to 'repos/' subdirectory

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

new_delete

Move repositories to 'repos/' subdirectory

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

printf

Move repositories to 'repos/' subdirectory

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

rm_fault

Log name of exiting child from Child::exit()

2014-09-11 10:23:39 +02:00

rm_nested

Log name of exiting child from Child::exit()

2014-09-11 10:23:39 +02:00

segfault

Move repositories to 'repos/' subdirectory

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

sub_rm

Move repositories to 'repos/' subdirectory

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

thread

Move repositories to 'repos/' subdirectory

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

util_mmio

Move repositories to 'repos/' subdirectory

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

weak_ptr

Add 'Weak_ptr' to the public Genode API

2014-08-11 15:55:32 +02:00