ports: add a gdb_x86 pkg recipe

Fixes #5016
This commit is contained in:
Christian Prochaska 2023-10-01 14:35:54 +02:00 committed by Christian Helmuth
parent 07c4b92335
commit 16ba978025
7 changed files with 134 additions and 0 deletions

View File

@ -0,0 +1 @@
The GNU debugger for x86 targets

View File

@ -0,0 +1,12 @@
_/raw/gdb_x86
_/src/init
_/src/cached_fs_rom
_/src/vfs
_/src/expat
_/src/gdb_x86
_/src/gmp
_/src/libc
_/src/ncurses
_/src/posix
_/src/stdcxx
_/src/vfs_pipe

View File

@ -0,0 +1 @@
2023-10-04 0917cc93f2affcb54ffac9c0726eb69b1f9c8429

View File

@ -0,0 +1,28 @@
<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>

View File

@ -0,0 +1,4 @@
content: gdb.config
gdb.config:
cp $(REP_DIR)/recipes/raw/gdb_x86/$@ $@

View File

@ -0,0 +1,87 @@
<config>
<parent-provides>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="File_system"/>
<service name="Timer"/>
<service name="Terminal"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="vfs" caps="150">
<resource name="RAM" quantum="12M"/>
<provides><service name="File_system"/></provides>
<config>
<vfs>
<tar name="gdb.tar"/>
</vfs>
<policy label_prefix="vfs_rom" root="/"/>
<default-policy root="/" writeable="yes"/>
</config>
</start>
<start name="vfs_rom">
<resource name="RAM" quantum="16M"/>
<binary name="cached_fs_rom"/>
<provides> <service name="ROM"/> </provides>
<config/>
<route>
<service name="File_system"> <child name="vfs"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="gdb" caps="200">
<binary name="/bin/genode-x86-gdb"/>
<resource name="RAM" quantum="28M" />
<config>
<vfs>
<dir name="dev">
<log/>
<inline name="rtc">2018-01-01 00:01</inline>
<terminal name="monitor" label="monitor"/>
<terminal name="tty" label="ui"/>
</dir>
<dir name="pipe"> <pipe/> </dir>
<dir name="target"> <fs label="target"/> </dir>
<fs/>
</vfs>
<libc stdin="/dev/tty"
stdout="/dev/tty"
stderr="/dev/tty"
pipe="/pipe"
rtc="/dev/rtc"/>
<arg value="genode-x86-gdb"/>
<arg value="-ex"/> <arg value="set non-stop on"/>
<arg value="-ex"/> <arg value="target extended-remote /dev/monitor"/>
</config>
<route>
<service name="File_system" label="target">
<parent label="target"/>
</service>
<service name="File_system">
<child name="vfs"/>
</service>
<service name="ROM" label_suffix=".lib.so">
<parent/>
</service>
<service name="ROM" label_last="/bin/genode-x86-gdb">
<child name="vfs_rom"/>
</service>
<service name="Terminal" label="monitor">
<parent label="monitor"/>
</service>
<service name="Terminal" label="ui">
<parent label="ui"/>
</service>
<any-service> <parent/> <any-child/> </any-service>
</route>
</start>
</config>

View File

@ -0,0 +1 @@
2023-10-04 638d50da198dbadfbfb4cebb9348dbf4a124fdad