view gdb_remote.h @ 2378:af3075c1e421

Add media player file extensions to file browser config
author Michael Pavone <pavone@retrodev.com>
date Sat, 18 Nov 2023 11:34:33 -0800
parents 85a90964b557
children 7e86ec94c899
line wrap: on
line source

#ifndef GDB_REMOTE_H_
#define GDB_REMOTE_H_
#include "genesis.h"

void gdb_remote_init(void);
void gdb_debug_enter(m68k_context * context, uint32_t pc);

#endif //GDB_REMOTE_H_