Norman Feske 53dea7e623 Move exec_terminal to genode-world ... This is a leftover of issue #4258.		2022-02-15 10:23:15 +01:00
..
api	vfs_gpu: offer 'vfs_gpu_env' call	2022-02-15 10:10:01 +01:00
pkg	Remove gems/magic_ring_buffer.h	2022-02-15 10:17:28 +01:00
raw	rpi: remove drivers for platform, fb and sd_card	2022-02-15 10:16:51 +01:00
src	Move exec_terminal to genode-world	2022-02-15 10:23:15 +01:00