From 659f6ff5c812008475d5dd8821627c09f64b202c Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 17 Dec 2014 10:30:15 +0100 Subject: [PATCH] hw_vea9x4: quickfix for missing SMP awareness This fix configures TTBRs and translation-table descriptors as if we would use SMP although we don't to circumvent problems with UP-configurations. This fix should be superseded later by full SMP support for the VEA9X4. ref #1312 --- .../src/core/include/spec/vea9x4/board.h | 40 +++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 repos/base-hw/src/core/include/spec/vea9x4/board.h diff --git a/repos/base-hw/src/core/include/spec/vea9x4/board.h b/repos/base-hw/src/core/include/spec/vea9x4/board.h new file mode 100644 index 000000000..e06a00e2a --- /dev/null +++ b/repos/base-hw/src/core/include/spec/vea9x4/board.h @@ -0,0 +1,40 @@ +/* + * \brief Board driver for core + * \author Martin Stein + * \date 2012-04-23 + */ + +/* + * Copyright (C) 2012-2013 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + +#ifndef _BOARD_H_ +#define _BOARD_H_ + +/* core includes */ +#include + +namespace Genode +{ + class Board : public Board_base + { + public: + + static void outer_cache_invalidate() { } + static void outer_cache_flush() { } + static void prepare_kernel() { } + static void secondary_cpus_ip(void * const ip) { } + + /** + * FIXME We return true although base-hw doesn't support SMP + * because UP-configurations in the TTBRs and the + * translation-table descriptors cause problems. + */ + static bool is_smp() { return true; } + }; +} + +#endif /* _BOARD_H_ */