denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

ports: remove old GDB monitor

Browse Source 
Fixes #5067
This commit is contained in:
Christian Prochaska
2023-12-04 06:38:00 +01:00
committed by Norman Feske
parent 9a049789de
commit ff5a474e74
51 changed files with 0 additions and 5814 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
tool/autopilot.list
View File

@@ -17,7 +17,6 @@ fetchurl_lwip
fetchurl_lxip
fs_query
gdb
gdb_monitor
hello
ieee754
init_smp