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