5 Commits

Author	SHA1	Message	Date
Michael Müller	76eb44b2d3	Misspelled function Timer::usleep().	2022-07-07 09:53:27 +02:00
Michael Müller	473c97cfb6	Use Genode's Timer::u_sleep() to put EpochManager to sleep.	2022-07-05 15:39:09 +02:00
Michael Müller	dd3bdb3296	Moved GC to Genode threads.	2022-06-30 15:28:32 +02:00
Michael Müller	777f038dba	Marked code that needs to be changed for Genode.	2022-06-29 18:22:29 +02:00
Jan Mühlig	ad8c48083c	Initial commit	2021-03-22 18:38:54 +01:00