2 Commits

Author	SHA1	Message	Date
Norman Feske	29b8d609c9	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
Norman Feske	3865ee7ccc	foc: move base/thread_state.h to include/foc/ ... The header is foc-specific. It used to shadow the generic one provided by the base repository, which contradicts with the kernel-agnostic Genode API. Hence, it had to be moved to a foc-specific location.	2016-12-23 16:51:12 +01:00