From b99da12d6a5b79320e1c7db49b09e020c1cba6cc Mon Sep 17 00:00:00 2001 From: Nicolas Schodet Date: Wed, 13 Mar 2013 22:33:40 +0100 Subject: digital/ucoolib/ucoolib/arch: add arch_reset --- digital/ucoolib/ucoolib/arch/arch.host.cc | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'digital/ucoolib/ucoolib/arch/arch.host.cc') diff --git a/digital/ucoolib/ucoolib/arch/arch.host.cc b/digital/ucoolib/ucoolib/arch/arch.host.cc index ed8c503e..06bb2bdb 100644 --- a/digital/ucoolib/ucoolib/arch/arch.host.cc +++ b/digital/ucoolib/ucoolib/arch/arch.host.cc @@ -41,6 +41,13 @@ arch_init (int argc, const char **argv) arch_stored_argv = argv; } +void +arch_reset () +{ + // Not supported. + halt (); +} + void arch_get_args (int &argc, const char **&argv) { -- cgit v1.2.3