Loading include/arch/infineon-tc299-mock/driver/counter.h 0 → 100644 +31 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef COUNTER_H #define COUNTER_H typedef unsigned int counter_value_t; typedef unsigned int counter_overflow_t; class Counter { private: Counter(const Counter ©); public: counter_value_t value; volatile counter_overflow_t overflow; Counter() : overflow(0) {} inline void start() { } inline void stop() { } }; extern Counter counter; #endif include/arch/infineon-tc299-mock/driver/gpio.h 0 → 100644 +47 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef GPIO_H #define GPIO_H class GPIO { private: GPIO(const GPIO ©); public: GPIO () {} enum Pin : unsigned char { PIN_INVALID }; inline void setup() { } inline void led_on(unsigned char id = 0) { } inline void led_off(unsigned char id = 0) { } inline void led_toggle(unsigned char id = 0) { } inline void input(unsigned char const pin) { } inline void input(unsigned char const pin, unsigned char const pull) { } inline void output(unsigned char const pin) { } inline void output(unsigned char const pin, unsigned char const value) { } inline unsigned char read(unsigned char const pin) { return 0; } inline void write(unsigned char const pin, unsigned char value) { } inline void write_mask(unsigned char const pin_base, unsigned char set_mask, unsigned char clear_mask) { } }; extern GPIO gpio; #endif include/arch/infineon-tc299-mock/driver/stdout.h 0 → 100644 +24 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef STANDARDOUTPUT_H #define STANDARDOUTPUT_H #include "object/outputstream.h" class StandardOutput : public OutputStream { private: StandardOutput(const StandardOutput ©); public: StandardOutput () {} void setup(); virtual void put(char c) override; }; extern StandardOutput kout; #endif include/arch/infineon-tc299-mock/driver/uptime.h 0 → 100644 +32 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef UPTIME_H #define UPTIME_H class Uptime { private: Uptime(const Uptime ©); #ifdef TIMER_S uint16_t seconds; #endif public: #ifdef TIMER_S Uptime () : seconds(0) {} #else Uptime () {} #endif inline uint16_t get_us() { return 0; } inline uint16_t get_cycles() { return 0; } #ifdef TIMER_S inline uint16_t get_s() { return seconds; } inline void tick_s() { seconds++; } #endif }; extern Uptime uptime; #endif src/arch/infineon-tc299-mock/Kconfig 0 → 100644 +3 −0 Original line number Diff line number Diff line # Copyright 2022 Daniel Friesel # # SPDX-License-Identifier: CC0-1.0 Loading
include/arch/infineon-tc299-mock/driver/counter.h 0 → 100644 +31 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef COUNTER_H #define COUNTER_H typedef unsigned int counter_value_t; typedef unsigned int counter_overflow_t; class Counter { private: Counter(const Counter ©); public: counter_value_t value; volatile counter_overflow_t overflow; Counter() : overflow(0) {} inline void start() { } inline void stop() { } }; extern Counter counter; #endif
include/arch/infineon-tc299-mock/driver/gpio.h 0 → 100644 +47 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef GPIO_H #define GPIO_H class GPIO { private: GPIO(const GPIO ©); public: GPIO () {} enum Pin : unsigned char { PIN_INVALID }; inline void setup() { } inline void led_on(unsigned char id = 0) { } inline void led_off(unsigned char id = 0) { } inline void led_toggle(unsigned char id = 0) { } inline void input(unsigned char const pin) { } inline void input(unsigned char const pin, unsigned char const pull) { } inline void output(unsigned char const pin) { } inline void output(unsigned char const pin, unsigned char const value) { } inline unsigned char read(unsigned char const pin) { return 0; } inline void write(unsigned char const pin, unsigned char value) { } inline void write_mask(unsigned char const pin_base, unsigned char set_mask, unsigned char clear_mask) { } }; extern GPIO gpio; #endif
include/arch/infineon-tc299-mock/driver/stdout.h 0 → 100644 +24 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef STANDARDOUTPUT_H #define STANDARDOUTPUT_H #include "object/outputstream.h" class StandardOutput : public OutputStream { private: StandardOutput(const StandardOutput ©); public: StandardOutput () {} void setup(); virtual void put(char c) override; }; extern StandardOutput kout; #endif
include/arch/infineon-tc299-mock/driver/uptime.h 0 → 100644 +32 −0 Original line number Diff line number Diff line /* * Copyright 2022 Daniel Friesel * * SPDX-License-Identifier: BSD-2-Clause */ #ifndef UPTIME_H #define UPTIME_H class Uptime { private: Uptime(const Uptime ©); #ifdef TIMER_S uint16_t seconds; #endif public: #ifdef TIMER_S Uptime () : seconds(0) {} #else Uptime () {} #endif inline uint16_t get_us() { return 0; } inline uint16_t get_cycles() { return 0; } #ifdef TIMER_S inline uint16_t get_s() { return seconds; } inline void tick_s() { seconds++; } #endif }; extern Uptime uptime; #endif
src/arch/infineon-tc299-mock/Kconfig 0 → 100644 +3 −0 Original line number Diff line number Diff line # Copyright 2022 Daniel Friesel # # SPDX-License-Identifier: CC0-1.0