genode/repos/ports/recipes/pkg/gdb_x86/runtime
Christian Prochaska 16ba978025 ports: add a gdb_x86 pkg recipe
Fixes #5016
2023-10-04 14:00:42 +02:00

29 lines
631 B
Plaintext

<runtime ram="76M" caps="1000" binary="init" config="gdb.config">
<requires>
<timer/>
<terminal label="monitor"/>
<terminal label="ui"/>
<file_system label="target"/>
<rm/>
</requires>
<content>
<rom label="gdb.config"/>
<rom label="init"/>
<rom label="vfs"/>
<rom label="cached_fs_rom"/>
<rom label="expat.lib.so"/>
<rom label="gdb.tar"/>
<rom label="gmp.lib.so"/>
<rom label="libc.lib.so"/>
<rom label="libm.lib.so"/>
<rom label="ncurses.lib.so"/>
<rom label="posix.lib.so"/>
<rom label="stdcxx.lib.so"/>
<rom label="vfs.lib.so"/>
<rom label="vfs_pipe.lib.so"/>
</content>
</runtime>