cleans up bsp read and write for ISS

adds check for testbench to CMakeList
updates CMAKE_C_FLAGS set
2025-05-22 12:10:25 +02:00 · 2025-05-22 12:10:07 +02:00 · 2025-04-15 14:30:48 +02:00 · 2025-04-15 12:19:32 +02:00 · 2025-04-14 17:00:41 +02:00 · 2025-04-14 16:34:10 +02:00
80 changed files with 739 additions and 2401 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,11 +1,33 @@
-cmake_minimum_required(VERSION 3.12)
-project(bsp C)
+cmake_minimum_required(VERSION 3.21)
+project(mnrs-bsp LANGUAGES ASM C)
+
+if(NOT DEFINED BOARD)
+message(FATAL_ERROR "No Board selected")
+endif()
+add_compile_definitions("BOARD_${BOARD}")
+
+set(TESTBENCHES "rtl" "TGCP")
+list(FIND TESTBENCHES ${BOARD} _index)
+if(NOT _index EQUAL -1)
+    set(BOARD "testbench/${BOARD}")
+endif()
+
+option(SEMIHOSTING "Enable semihosting support" OFF)
+if(SEMIHOSTING)
+    add_compile_definitions(SEMIHOSTING)
+endif()
+
+add_library(startup STATIC env/start.S env/entry.S)
+target_include_directories(startup PUBLIC env include)
+
 add_subdirectory(libwrap)
-add_subdirectory(env)
-message(STATUS " in bsp with ${CMAKE_CXX_FLAGS}")
-message(STATUS " SUPPORTED_BOARDS= ${SUPPORTED_BOARDS}")
-add_library(${PROJECT_NAME} INTERFACE)
-target_include_directories(${PROJECT_NAME} INTERFACE 
-include/
-env/${BOARD}
-env/)
+
+add_library(bsp STATIC env/${BOARD}/init.c)
+target_link_libraries(bsp PUBLIC startup wrap)
+target_include_directories(bsp PUBLIC env/${BOARD})
+target_link_options(bsp INTERFACE LINKER:--no-warn-rwx-segments -nostartfiles -T ${CMAKE_CURRENT_SOURCE_DIR}/env/${BOARD}/link.lds)
+
+if(SEMIHOSTING)
+    target_include_directories(bsp INTERFACE include)
+    target_sources(bsp INTERFACE env/semihosting.c env/trap.c)
+endif()
--- a/cmake/rv32imc.cmake
+++ b/cmake/rv32imc.cmake
@@ -0,0 +1,59 @@
+# Look for GCC in path
+# https://xpack.github.io/riscv-none-embed-gcc/
+FIND_FILE( RISCV_XPACK_GCC_COMPILER_EXE "riscv-none-embed-gcc.exe" PATHS ENV INCLUDE)
+FIND_FILE( RISCV_XPACK_GCC_COMPILER "riscv-none-embed-gcc" PATHS ENV INCLUDE)
+# New versions of xpack
+FIND_FILE( RISCV_XPACK_NEW_GCC_COMPILER_EXE "riscv-none-elf-gcc.exe" PATHS ENV INCLUDE)
+FIND_FILE( RISCV_XPACK_NEW_GCC_COMPILER "riscv-none-elf-gcc" PATHS ENV INCLUDE)
+# Look for RISC-V github GCC
+# https://github.com/riscv/riscv-gnu-toolchain
+FIND_FILE( RISCV_XPACK_GCC_COMPILER_EXT "riscv64-unknown-elf-gcc.exe" PATHS ENV INCLUDE)
+FIND_FILE( RISCV_XPACK_GCC_COMPILER "riscv64-unknown-elf-gcc" PATHS ENV INCLUDE)
+
+# Select which is found
+if (EXISTS ${RISCV_XPACK_NEW_GCC_COMPILER})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_NEW_GCC_COMPILER})
+elseif (EXISTS ${RISCV_XPACK_GCC_NEW_COMPILER_EXE})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_NEW_GCC_COMPILER_EXE})
+elseif (EXISTS ${RISCV_XPACK_GCC_COMPILER})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_GCC_COMPILER})
+elseif (EXISTS ${RISCV_XPACK_GCC_COMPILER_EXE})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_GCC_COMPILER_EXE})
+elseif (EXISTS ${RISCV_GITHUB_GCC_COMPILER})
+set( RISCV_GCC_COMPILER ${RISCV_GITHUB_GCC_COMPILER})
+elseif (EXISTS ${RISCV_GITHUB_GCC_COMPILER_EXE})
+set( RISCV_GCC_COMPILER ${RISCV_GITHUB_GCC_COMPILER_EXE})
+else()
+message(FATAL_ERROR "RISC-V GCC not found. ${RISCV_GITHUB_GCC_COMPILER} ${RISCV_XPACK_GCC_COMPILER} ${RISCV_GITHUB_GCC_COMPILER_EXE} ${RISCV_XPACK_GCC_COMPILER_EXE}")
+endif()
+
+get_filename_component(RISCV_TOOLCHAIN_BIN_PATH ${RISCV_GCC_COMPILER} DIRECTORY)
+get_filename_component(RISCV_TOOLCHAIN_BIN_GCC ${RISCV_GCC_COMPILER} NAME_WE)
+get_filename_component(RISCV_TOOLCHAIN_BIN_EXT ${RISCV_GCC_COMPILER} EXT)
+
+STRING(REGEX REPLACE "\-gcc" "-" CROSS_COMPILE ${RISCV_TOOLCHAIN_BIN_GCC})
+
+# The Generic system name is used for embedded targets (targets without OS)
+set(CMAKE_SYSTEM_NAME Generic )
+set(CMAKE_EXECUTABLE_SUFFIX_C ".elf")
+set(RISCV_ARCH rv32imc_zicsr_zifencei )
+set(RISCV_ABI ilp32)
+
+
+set(CMAKE_ASM_COMPILER {CROSS_COMPILE}gcc )
+set(CMAKE_AR ${CROSS_COMPILE}ar)
+set(CMAKE_ASM_COMPILER ${CROSS_COMPILE}gcc)
+set(CMAKE_C_COMPILER ${CROSS_COMPILE}gcc)
+set(CMAKE_CXX_COMPILER ${CROSS_COMPILE}g++)
+
+set( CMAKE_OBJCOPY      ${RISCV_TOOLCHAIN_BIN_PATH}/${CROSS_COMPILE}objcopy
+     CACHE FILEPATH "The toolchain objcopy command " FORCE )
+
+set( CMAKE_OBJDUMP      ${RISCV_TOOLCHAIN_BIN_PATH}/${CROSS_COMPILE}objdump
+     CACHE FILEPATH "The toolchain objdump command " FORCE )
+
+set( CMAKE_C_FLAGS "-march=${RISCV_ARCH} -mabi=${RISCV_ABI} -mcmodel=medany" )
+
+set( CMAKE_C_FLAGS "${CMAKE_C_FLAGS}" CACHE STRING "" )
+set( CMAKE_CXX_FLAGS "${CMAKE_C_FLAGS}" CACHE STRING "" )
+set( CMAKE_ASM_FLAGS "${CMAKE_C_FLAGS}" CACHE STRING "" )
--- a/cmake/rv64gc.cmake
+++ b/cmake/rv64gc.cmake
@@ -0,0 +1,59 @@
+# Look for GCC in path
+# https://xpack.github.io/riscv-none-embed-gcc/
+FIND_FILE( RISCV_XPACK_GCC_COMPILER_EXE "riscv-none-embed-gcc.exe" PATHS ENV INCLUDE)
+FIND_FILE( RISCV_XPACK_GCC_COMPILER "riscv-none-embed-gcc" PATHS ENV INCLUDE)
+# New versions of xpack
+FIND_FILE( RISCV_XPACK_NEW_GCC_COMPILER_EXE "riscv-none-elf-gcc.exe" PATHS ENV INCLUDE)
+FIND_FILE( RISCV_XPACK_NEW_GCC_COMPILER "riscv-none-elf-gcc" PATHS ENV INCLUDE)
+# Look for RISC-V github GCC
+# https://github.com/riscv/riscv-gnu-toolchain
+FIND_FILE( RISCV_XPACK_GCC_COMPILER_EXT "riscv64-unknown-elf-gcc.exe" PATHS ENV INCLUDE)
+FIND_FILE( RISCV_XPACK_GCC_COMPILER "riscv64-unknown-elf-gcc" PATHS ENV INCLUDE)
+
+# Select which is found
+if (EXISTS ${RISCV_XPACK_NEW_GCC_COMPILER})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_NEW_GCC_COMPILER})
+elseif (EXISTS ${RISCV_XPACK_GCC_NEW_COMPILER_EXE})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_NEW_GCC_COMPILER_EXE})
+elseif (EXISTS ${RISCV_XPACK_GCC_COMPILER})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_GCC_COMPILER})
+elseif (EXISTS ${RISCV_XPACK_GCC_COMPILER_EXE})
+set( RISCV_GCC_COMPILER ${RISCV_XPACK_GCC_COMPILER_EXE})
+elseif (EXISTS ${RISCV_GITHUB_GCC_COMPILER})
+set( RISCV_GCC_COMPILER ${RISCV_GITHUB_GCC_COMPILER})
+elseif (EXISTS ${RISCV_GITHUB_GCC_COMPILER_EXE})
+set( RISCV_GCC_COMPILER ${RISCV_GITHUB_GCC_COMPILER_EXE})
+else()
+message(FATAL_ERROR "RISC-V GCC not found. ${RISCV_GITHUB_GCC_COMPILER} ${RISCV_XPACK_GCC_COMPILER} ${RISCV_GITHUB_GCC_COMPILER_EXE} ${RISCV_XPACK_GCC_COMPILER_EXE}")
+endif()
+
+get_filename_component(RISCV_TOOLCHAIN_BIN_PATH ${RISCV_GCC_COMPILER} DIRECTORY)
+get_filename_component(RISCV_TOOLCHAIN_BIN_GCC ${RISCV_GCC_COMPILER} NAME_WE)
+get_filename_component(RISCV_TOOLCHAIN_BIN_EXT ${RISCV_GCC_COMPILER} EXT)
+
+STRING(REGEX REPLACE "\-gcc" "-" CROSS_COMPILE ${RISCV_TOOLCHAIN_BIN_GCC})
+
+# The Generic system name is used for embedded targets (targets without OS)
+set(CMAKE_SYSTEM_NAME Generic )
+set(CMAKE_EXECUTABLE_SUFFIX_C ".elf")
+set(RISCV_ARCH rv64gc )
+set(RISCV_ABI lp64d)
+
+
+set(CMAKE_ASM_COMPILER {CROSS_COMPILE}gcc )
+set(CMAKE_AR ${CROSS_COMPILE}ar)
+set(CMAKE_ASM_COMPILER ${CROSS_COMPILE}gcc)
+set(CMAKE_C_COMPILER ${CROSS_COMPILE}gcc)
+set(CMAKE_CXX_COMPILER ${CROSS_COMPILE}g++)
+
+set( CMAKE_OBJCOPY      ${RISCV_TOOLCHAIN_BIN_PATH}/${CROSS_COMPILE}objcopy
+     CACHE FILEPATH "The toolchain objcopy command " FORCE )
+
+set( CMAKE_OBJDUMP      ${RISCV_TOOLCHAIN_BIN_PATH}/${CROSS_COMPILE}objdump
+     CACHE FILEPATH "The toolchain objdump command " FORCE )
+
+set( CMAKE_C_FLAGS "-march=${RISCV_ARCH} -mabi=${RISCV_ABI} -mcmodel=medany" )
+
+set( CMAKE_C_FLAGS "${CMAKE_C_FLAGS}" CACHE STRING "" )
+set( CMAKE_CXX_FLAGS "${CMAKE_C_FLAGS}" CACHE STRING "" )
+set( CMAKE_ASM_FLAGS "${CMAKE_C_FLAGS}" CACHE STRING "" )
--- a/drivers/fe300prci/fe300prci_driver.c
+++ b/drivers/fe300prci/fe300prci_driver.c
@@ -1,252 +0,0 @@
-// See LICENSE file for license details
-
-#include "platform.h"
-
-#ifdef PRCI_CTRL_ADDR
-#include "fe300prci/fe300prci_driver.h"
-#include <unistd.h>
-
-#define rdmcycle(x)  {				       \
-    uint32_t lo, hi, hi2;			       \
-    __asm__ __volatile__ ("1:\n\t"		       \
-			  "csrr %0, mcycleh\n\t"       \
-			  "csrr %1, mcycle\n\t"	       \
-			  "csrr %2, mcycleh\n\t"		\
-			  "bne  %0, %2, 1b\n\t"			\
-			  : "=r" (hi), "=r" (lo), "=r" (hi2)) ;	\
-    *(x) = lo | ((uint64_t) hi << 32); 				\
-  }
-
-uint32_t PRCI_measure_mcycle_freq(uint32_t mtime_ticks, uint32_t mtime_freq)
-{
-
-  uint32_t start_mtime = CLINT_REG(CLINT_MTIME);
-  uint32_t end_mtime = start_mtime + mtime_ticks + 1;
-
-  // Make sure we won't get rollover.
-  while (end_mtime < start_mtime){
-    start_mtime = CLINT_REG(CLINT_MTIME);
-    end_mtime = start_mtime + mtime_ticks + 1;
-  }
-
-  // Don't start measuring until mtime edge.
-  uint32_t tmp = start_mtime;
-  do {
-    start_mtime = CLINT_REG(CLINT_MTIME);
-  } while (start_mtime == tmp);
-  
-  uint64_t start_mcycle;
-  rdmcycle(&start_mcycle);
-  
-  while (CLINT_REG(CLINT_MTIME) < end_mtime) ;
-  
-  uint64_t end_mcycle;
-  rdmcycle(&end_mcycle);
-  uint32_t difference = (uint32_t) (end_mcycle - start_mcycle);
-
-  uint64_t freq = ((uint64_t) difference * mtime_freq) / mtime_ticks;
-  return (uint32_t) freq & 0xFFFFFFFF;
-  
-}
- 
-
-void PRCI_use_hfrosc(int div, int trim)
-{
-  // Make sure the HFROSC is running at its default setting
-  // It is OK to change this even if we are running off of it.
-  
-  PRCI_REG(PRCI_HFROSCCFG) = (ROSC_DIV(div) | ROSC_TRIM(trim) | ROSC_EN(1));
-
-  while ((PRCI_REG(PRCI_HFROSCCFG) & ROSC_RDY(1)) == 0);
-  
-  PRCI_REG(PRCI_PLLCFG) &= ~PLL_SEL(1);
-}
-
-void PRCI_use_pll(int refsel, int bypass,
-			 int r, int f, int q, int finaldiv,
-			 int hfroscdiv, int hfrosctrim)
-{
-  // Ensure that we aren't running off the PLL before we mess with it.
-  if (PRCI_REG(PRCI_PLLCFG) & PLL_SEL(1)) {
-    // Make sure the HFROSC is running at its default setting
-    PRCI_use_hfrosc(4, 16);
-  }
-  
-  // Set PLL Source to be HFXOSC if desired.
-  uint32_t config_value = 0;
-
-  config_value |= PLL_REFSEL(refsel);
-  
-  if (bypass) {
-    // Bypass
-    config_value |= PLL_BYPASS(1);
-
-    PRCI_REG(PRCI_PLLCFG) = config_value;
-
-    // If we don't have an HFXTAL, this doesn't really matter.
-    // Set our Final output divide to divide-by-1:
-    PRCI_REG(PRCI_PLLDIV) = (PLL_FINAL_DIV_BY_1(1) | PLL_FINAL_DIV(0));
-  } else {
-  
-    // To overclock, use the hfrosc
-    if (hfrosctrim >= 0 && hfroscdiv >= 0) {
-      PRCI_use_hfrosc(hfroscdiv, hfrosctrim);
-    }
-    
-    // Set DIV Settings for PLL
-    
-    // (Legal values of f_REF are 6-48MHz)
-
-    // Set DIVR to divide-by-2 to get 8MHz frequency
-    // (legal values of f_R are 6-12 MHz)
-
-    config_value |= PLL_BYPASS(1);
-    config_value |= PLL_R(r);
-
-    // Set DIVF to get 512Mhz frequncy
-    // There is an implied multiply-by-2, 16Mhz.
-    // So need to write 32-1
-    // (legal values of f_F are 384-768 MHz)
-    config_value |= PLL_F(f);
-
-    // Set DIVQ to divide-by-2 to get 256 MHz frequency
-    // (legal values of f_Q are 50-400Mhz)
-    config_value |= PLL_Q(q);
-
-    // Set our Final output divide to divide-by-1:
-    if (finaldiv == 1){
-      PRCI_REG(PRCI_PLLDIV) = (PLL_FINAL_DIV_BY_1(1) | PLL_FINAL_DIV(0));
-    } else {
-      PRCI_REG(PRCI_PLLDIV) = (PLL_FINAL_DIV(finaldiv-1));
-    }
-
-    PRCI_REG(PRCI_PLLCFG) = config_value;
-
-    // Un-Bypass the PLL.
-    PRCI_REG(PRCI_PLLCFG) &= ~PLL_BYPASS(1);
-
-    // Wait for PLL Lock
-    // Note that the Lock signal can be glitchy.
-    // Need to wait 100 us
-    // RTC is running at 32kHz.
-    // So wait 4 ticks of RTC.
-    uint32_t now = CLINT_REG(CLINT_MTIME);
-    while (CLINT_REG(CLINT_MTIME) - now < 4) ;
-    
-    // Now it is safe to check for PLL Lock
-    while ((PRCI_REG(PRCI_PLLCFG) & PLL_LOCK(1)) == 0);
-
-  }
-
-  // Switch over to PLL Clock source
-  PRCI_REG(PRCI_PLLCFG) |= PLL_SEL(1);
-
-  // If we're running off HFXOSC, turn off the HFROSC to
-  // save power.
-  if (refsel) {
-    PRCI_REG(PRCI_HFROSCCFG) &= ~ROSC_EN(1);
-  }
-  
-}
-
-void PRCI_use_default_clocks()
-{
-  // Turn off the LFROSC
-  AON_REG(AON_LFROSC) &= ~ROSC_EN(1);
-
-  // Use HFROSC
-  PRCI_use_hfrosc(4, 16);
-}
-
-void PRCI_use_hfxosc(uint32_t finaldiv)
-{
-  
-  PRCI_use_pll(1, // Use HFXTAL
-	       1, // Bypass = 1
-	       0, // PLL settings don't matter
-	       0, // PLL settings don't matter
-	       0, // PLL settings don't matter
-	       finaldiv,
-	       -1,
-	       -1);
-}
-
-// This is a generic function, which
-// doesn't span the entire range of HFROSC settings.
-// It only adjusts the trim, which can span a hundred MHz or so.
-// This function does not check the legality of the PLL settings
-// at all, and it is quite possible to configure invalid PLL settings
-// this way.
-// It returns the actual measured CPU frequency.
-
-uint32_t PRCI_set_hfrosctrim_for_f_cpu(uint32_t f_cpu, PRCI_freq_target target )
-{
-
-  uint32_t hfrosctrim = 0;
-  uint32_t hfroscdiv = 4;
-  uint32_t prev_trim = 0;
-
-  // In this function we use PLL settings which
-  // will give us a 32x multiplier from the output
-  // of the HFROSC source to the output of the
-  // PLL. We first measure our HFROSC to get the
-  // right trim, then finally use it as the PLL source.
-  // We should really check here that the f_cpu
-  // requested is something in the limit of the PLL. For
-  // now that is up to the user.
-
-  // This will undershoot for frequencies not divisible by 16.
-  uint32_t desired_hfrosc_freq = (f_cpu/ 16);
-
-  PRCI_use_hfrosc(hfroscdiv, hfrosctrim);
-  
-  // Ignore the first run (for icache reasons)
-  uint32_t cpu_freq = PRCI_measure_mcycle_freq(3000, RTC_FREQ);
-
-  cpu_freq = PRCI_measure_mcycle_freq(3000, RTC_FREQ);
-  uint32_t prev_freq = cpu_freq;
-  
-  while ((cpu_freq < desired_hfrosc_freq) && (hfrosctrim < 0x1F)){
-    prev_trim = hfrosctrim;
-    prev_freq = cpu_freq;
-    hfrosctrim ++;
-    PRCI_use_hfrosc(hfroscdiv, hfrosctrim);
-    cpu_freq = PRCI_measure_mcycle_freq(3000, RTC_FREQ);
-  } 
-
-  // We couldn't go low enough
-  if (prev_freq > desired_hfrosc_freq){
-    PRCI_use_pll(0, 0, 1, 31, 1, 1, hfroscdiv, prev_trim);
-    cpu_freq = PRCI_measure_mcycle_freq(1000, RTC_FREQ);
-    return cpu_freq;
-  }
-  
-  // We couldn't go high enough
-  if (cpu_freq < desired_hfrosc_freq){
-    PRCI_use_pll(0, 0, 1, 31, 1, 1, hfroscdiv, prev_trim);
-    cpu_freq = PRCI_measure_mcycle_freq(1000, RTC_FREQ);
-    return cpu_freq;
-  }
-
-  // Check for over/undershoot
-  switch(target) {
-  case(PRCI_FREQ_CLOSEST):
-    if ((desired_hfrosc_freq - prev_freq) < (cpu_freq - desired_hfrosc_freq)) {
-      PRCI_use_pll(0, 0, 1, 31, 1, 1, hfroscdiv, prev_trim);
-    } else {
-      PRCI_use_pll(0, 0, 1, 31, 1, 1, hfroscdiv, hfrosctrim);
-    }
-    break;
-  case(PRCI_FREQ_UNDERSHOOT):
-    PRCI_use_pll(0, 0, 1, 31, 1, 1, hfroscdiv, prev_trim);
-    break;
-  default:
-    PRCI_use_pll(0, 0, 1, 31, 1, 1, hfroscdiv, hfrosctrim);
-  }
-
-  cpu_freq =  PRCI_measure_mcycle_freq(1000, RTC_FREQ);
-  return cpu_freq;
-
-}
-
-#endif
--- a/drivers/fe300prci/fe300prci_driver.h
+++ b/drivers/fe300prci/fe300prci_driver.h
@@ -1,79 +0,0 @@
-// See LICENSE file for license details
-
-#ifndef _FE300PRCI_DRIVER_H_
-#define _FE300PRCI_DRIVER_H_
-
-__BEGIN_DECLS
-
-#include <unistd.h>
-
-typedef enum prci_freq_target {
-  
-  PRCI_FREQ_OVERSHOOT,
-  PRCI_FREQ_CLOSEST,
-  PRCI_FREQ_UNDERSHOOT
-
-} PRCI_freq_target;
-
-/* Measure and return the approximate frequency of the 
- * CPU, as given by measuring the mcycle counter against 
- * the mtime ticks.
- */
-uint32_t PRCI_measure_mcycle_freq(uint32_t mtime_ticks, uint32_t mtime_freq);
-
-/* Safely switch over to the HFROSC using the given div
- * and trim settings.
- */
-void PRCI_use_hfrosc(int div, int trim);
-
-/* Safely switch over to the 16MHz HFXOSC,
- * applying the finaldiv clock divider (1 is the lowest
- * legal value).
- */
-void PRCI_use_hfxosc(uint32_t finaldiv);
-
-/* Safely switch over to the PLL using the given
- * settings.
- * 
- * Note that not all combinations of the inputs are actually
- * legal, and this function does not check for their
- * legality ("safely" means that this function won't turn off
- * or glitch the clock the CPU is actually running off, but
- * doesn't protect against you making it too fast or slow.)
- */
-
-void PRCI_use_pll(int refsel, int bypass,
-			 int r, int f, int q, int finaldiv,
-			 int hfroscdiv, int hfrosctrim);
-
-/* Use the default clocks configured at reset.
- * This is ~16Mhz HFROSC and turns off the LFROSC
- * (on the current FE310 Dev Platforms, an external LFROSC is 
- * used as it is more power efficient).
- */
-void PRCI_use_default_clocks();
-
-/* This routine will adjust the HFROSC trim
- * while using HFROSC as the clock source, 
- * measure the resulting frequency, then
- * use it as the PLL clock source, 
- * in an attempt to get over, under, or close to the 
- * requested frequency. It returns the actual measured 
- * frequency. 
- *
- * Note that the requested frequency must be within the 
- * range supported by the PLL so not all values are 
- * achievable with this function, and not all 
- * are guaranteed to actually work. The PLL
- * is rated higher than the hardware.
- * 
- * There is no check on the desired f_cpu frequency, it
- * is up to the user to specify something reasonable.
- */
-
-uint32_t PRCI_set_hfrosctrim_for_f_cpu(uint32_t f_cpu, PRCI_freq_target target);
-
-__END_DECLS
-
-#endif
-  
--- a/env/CMakeLists.txt
+++ b/env/CMakeLists.txt
@@ -1,64 +0,0 @@
-project(env)
-message(STATUS " here in bsp/env")
-message(STATUS "  BOARD: ${BOARD}")
-# Enable ASM language
-enable_language(ASM)
-set(ASM_SOURCES
-    entry.S
-    start.S
-) 
-add_library(asm_obj OBJECT ${ASM_SOURCES})
-set_target_properties(asm_obj PROPERTIES ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bare-metal-bsp/${PROJECT_NAME})
-target_include_directories(asm_obj PRIVATE
-    ${CMAKE_CURRENT_SOURCE_DIR}
-    ${BSP_BASE}/include
-    #include/
-    ${BSP_BASE}/env
-    ${BSP_BASE}/env/${BOARD}
-    ${BSP_BASE}/drivers
-)
-
-# Export variables for hello-world to use
-set(ENV_OBJECTS 
-    $<TARGET_OBJECTS:asm_obj>
-
-    PARENT_SCOPE
-)
-
-
-set(BOARD_LIB_NAME ${BOARD})
-message(STATUS "  BOARD_LIB_NAME: ${BOARD_LIB_NAME}")
-set(BOARD_LIB_SRC
-    ${BOARD}/init.c
-    ${BOARD}/write.c
-)
-add_library(${BOARD_LIB_NAME} STATIC ${BOARD_LIB_SRC})
-set_target_properties(${BOARD_LIB_NAME} PROPERTIES ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bare-metal-bsp/${PROJECT_NAME})
-
-# Set ASM compile options
-#set(CMAKE_ASM_COMPILER riscv64-unknown-elf-as)
-#set(CMAKE_ASM_FLAGS "${CMAKE_ASM_FLAGS} -march=${RISCV_ARCH}_zicsr_zifencei -mabi=${RISCV_ABI}")
-
-#add_subdirectory(${BOARD})
-
-
-
-target_include_directories(${BOARD_LIB_NAME} PRIVATE
-    ${CMAKE_CURRENT_SOURCE_DIR}
-    ${BSP_BASE}/include
-    ${BSP_BASE}/libwrap/sys
-    ${BSP_BASE}/env
-    ${BSP_BASE}/env/${BOARD}
-    ${BSP_BASE}/drivers
-)
-
-# Include the ISS board configuration
-#set(ISS_SOURCE_DIR "${CMAKE_SOURCE_DIR}/bare-metal-bsp/env/iss")
-#set(ISS_BINARY_DIR "${CMAKE_BINARY_DIR}/iss_build")
-
-#add_subdirectory(${ISS_SOURCE_DIR} ${ISS_BINARY_DIR})
-
-
-
-# Export board library
-#set(BOARD_LIB board_iss PARENT_SCOPE)
--- a/env/common-gcc.mk
+++ b/env/common-gcc.mk
@@ -16,7 +16,8 @@ BOARD?=iss

 ASM_SRCS += $(ENV_DIR)/start.S $(ENV_DIR)/entry.S
 C_SRCS   += $(PLATFORM_DIR)/init.c
-C_SRCS   += $(PLATFORM_DIR)/write.c
+C_SRCS   += $(PLATFORM_DIR)/bsp_write.c $(PLATFORM_DIR)/bsp_read.c
+

 LINKER_SCRIPT ?= $(PLATFORM_DIR)/$(LINK_TARGET).lds

--- a/env/ehrenberg/platform.h
+++ b/env/ehrenberg/platform.h
@@ -1,53 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _ISS_PLATFORM_H
-#define _ISS_PLATFORM_H
-
-#if __riscv_xlen == 32
-#define MCAUSE_INT         0x80000000UL
-#define MCAUSE_CAUSE       0x000003FFUL
-#else
-#define MCAUSE_INT         0x8000000000000000UL
-#define MCAUSE_CAUSE       0x00000000000003FFUL
-#endif
-
-#define APB_BUS
-
-#include "ehrenberg/devices/gpio.h"
-#include "ehrenberg/devices/uart.h"
-#include "ehrenberg/devices/timer.h"
-#include "ehrenberg/devices/aclint.h"
-#include "ehrenberg/devices/qspi.h"
-#include "ehrenberg/devices/i2s.h"
-#include "ehrenberg/devices/camera.h"
-#include "ehrenberg/devices/dma.h"
-#include "ehrenberg/devices/msg_if.h"
-
-#define PERIPH(TYPE, ADDR) ((volatile TYPE*) (ADDR))
-
-#define APB_BASE 0xF0000000
-
-#define gpio        PERIPH(gpio_t,         APB_BASE+0x0000)
-#define uart        PERIPH(uart_t,         APB_BASE+0x1000)
-#define timer       PERIPH(timercounter_t, APB_BASE+0x20000)
-#define aclint      PERIPH(aclint_t,       APB_BASE+0x30000)
-#define irq         PERIPH(irq_t,          APB_BASE+0x40000)
-#define qspi        PERIPH(qspi_t,         APB_BASE+0x50000)
-#define i2s         PERIPH(i2s_t,          APB_BASE+0x90000)
-#define camera      PERIPH(camera_t,       APB_BASE+0xA0000)
-#define dma         PERIPH(dma_t,          APB_BASE+0xB0000)
-#define msgif       PERIPH(msgif_t,        APB_BASE+0xC0000)
-
-
-#define XIP_START_LOC 0xE0040000
-#define RAM_START_LOC 0x80000000
-
-// Misc
-
-#include <stdint.h>
-
-void init_pll(void);
-unsigned long get_cpu_freq(void);
-unsigned long get_timer_freq(void);
-
-#endif /* _ISS_PLATFORM_H */
--- a/env/hifive1.h
+++ b/env/hifive1.h
@@ -1,81 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_HIFIVE1_H
-#define _SIFIVE_HIFIVE1_H
-
-#include <stdint.h>
-
-/****************************************************************************
- * GPIO Connections
- *****************************************************************************/
-
-// These are the GPIO bit offsets for the RGB LED on HiFive1 Board.
-// These are also mapped to RGB LEDs on the Freedom E300 Arty
-// FPGA
-// Dev Kit.
-
-#define RED_LED_OFFSET   22
-#define GREEN_LED_OFFSET 19
-#define BLUE_LED_OFFSET  21
-
-// These are the GPIO bit offsets for the differen digital pins
-// on the headers for both the HiFive1 Board and the Freedom E300 Arty FPGA Dev Kit.
-#define PIN_0_OFFSET 16
-#define PIN_1_OFFSET 17
-#define PIN_2_OFFSET 18
-#define PIN_3_OFFSET 19
-#define PIN_4_OFFSET 20
-#define PIN_5_OFFSET 21
-#define PIN_6_OFFSET 22
-#define PIN_7_OFFSET 23
-#define PIN_8_OFFSET 0
-#define PIN_9_OFFSET 1
-#define PIN_10_OFFSET 2
-#define PIN_11_OFFSET 3
-#define PIN_12_OFFSET 4
-#define PIN_13_OFFSET 5
-//#define PIN_14_OFFSET 8 //This pin is not connected on either board.
-#define PIN_15_OFFSET 9
-#define PIN_16_OFFSET 10
-#define PIN_17_OFFSET 11
-#define PIN_18_OFFSET 12
-#define PIN_19_OFFSET 13
-
-// These are *PIN* numbers, not
-// GPIO Offset Numbers.
-#define PIN_SPI1_SCK    (13u)
-#define PIN_SPI1_MISO   (12u)
-#define PIN_SPI1_MOSI   (11u)
-#define PIN_SPI1_SS0    (10u)
-#define PIN_SPI1_SS1    (14u) 
-#define PIN_SPI1_SS2    (15u)
-#define PIN_SPI1_SS3    (16u)
-
-#define SS_PIN_TO_CS_ID(x) \
-  ((x==PIN_SPI1_SS0 ? 0 :		 \
-    (x==PIN_SPI1_SS1 ? 1 :		 \
-     (x==PIN_SPI1_SS2 ? 2 :		 \
-      (x==PIN_SPI1_SS3 ? 3 :		 \
-       -1))))) 
-
-
-// These buttons are present only on the Freedom E300 Arty Dev Kit.
-#ifdef HAS_BOARD_BUTTONS
-#define BUTTON_0_OFFSET 15
-#define BUTTON_1_OFFSET 30
-#define BUTTON_2_OFFSET 31
-
-#define INT_DEVICE_BUTTON_0 (INT_GPIO_BASE + BUTTON_0_OFFSET)
-#define INT_DEVICE_BUTTON_1 (INT_GPIO_BASE + BUTTON_1_OFFSET)
-#define INT_DEVICE_BUTTON_2 (INT_GPIO_BASE + BUTTON_2_OFFSET)
-
-#endif
-
-#define HAS_HFXOSC 1
-#define HAS_LFROSC_BYPASS 1
-
-#define RTC_FREQ 32768
-
-void write_hex(int fd, unsigned long int hex);
-
-#endif /* _SIFIVE_HIFIVE1_H */
--- a/env/hifive1/dhrystone.lds
+++ b/env/hifive1/dhrystone.lds
@@ -1,157 +0,0 @@
-OUTPUT_ARCH( "riscv" )
-
-ENTRY( _start )
-
-MEMORY
-{
-  flash (rxai!w) : ORIGIN = 0x20400000, LENGTH = 512M
-  ram (wxa!ri) : ORIGIN = 0x80000000, LENGTH = 16K
-}
-
-PHDRS
-{
-  flash PT_LOAD;
-  ram_init PT_LOAD;
-  ram PT_NULL;
-}
-
-SECTIONS
-{
-  __stack_size = DEFINED(__stack_size) ? __stack_size : 2K;
-
-  .init           :
-  {
-    KEEP (*(SORT_NONE(.init)))
-  } >flash AT>flash :flash
-
-  .text           :
-  {
-    *(.text.unlikely .text.unlikely.*)
-    *(.text.startup .text.startup.*)
-    *(.text .text.*)
-    *(.gnu.linkonce.t.*)
-  } >flash AT>flash :flash
-
-  .fini           :
-  {
-    KEEP (*(SORT_NONE(.fini)))
-  } >flash AT>flash :flash
-
-  PROVIDE (__etext = .);
-  PROVIDE (_etext = .);
-  PROVIDE (etext = .);
-
-  . = ALIGN(4);
-
-  .preinit_array  :
-  {
-    PROVIDE_HIDDEN (__preinit_array_start = .);
-    KEEP (*(.preinit_array))
-    PROVIDE_HIDDEN (__preinit_array_end = .);
-  } >flash AT>flash :flash
-
-  .init_array     :
-  {
-    PROVIDE_HIDDEN (__init_array_start = .);
-    KEEP (*(SORT_BY_INIT_PRIORITY(.init_array.*) SORT_BY_INIT_PRIORITY(.ctors.*)))
-    KEEP (*(.init_array EXCLUDE_FILE (*crtbegin.o *crtbegin?.o *crtend.o *crtend?.o ) .ctors))
-    PROVIDE_HIDDEN (__init_array_end = .);
-  } >flash AT>flash :flash
-
-  .fini_array     :
-  {
-    PROVIDE_HIDDEN (__fini_array_start = .);
-    KEEP (*(SORT_BY_INIT_PRIORITY(.fini_array.*) SORT_BY_INIT_PRIORITY(.dtors.*)))
-    KEEP (*(.fini_array EXCLUDE_FILE (*crtbegin.o *crtbegin?.o *crtend.o *crtend?.o ) .dtors))
-    PROVIDE_HIDDEN (__fini_array_end = .);
-  } >flash AT>flash :flash
-
-  .ctors          :
-  {
-    /* gcc uses crtbegin.o to find the start of
-       the constructors, so we make sure it is
-       first.  Because this is a wildcard, it
-       doesn't matter if the user does not
-       actually link against crtbegin.o; the
-       linker won't look for a file to match a
-       wildcard.  The wildcard also means that it
-       doesn't matter which directory crtbegin.o
-       is in.  */
-    KEEP (*crtbegin.o(.ctors))
-    KEEP (*crtbegin?.o(.ctors))
-    /* We don't want to include the .ctor section from
-       the crtend.o file until after the sorted ctors.
-       The .ctor section from the crtend file contains the
-       end of ctors marker and it must be last */
-    KEEP (*(EXCLUDE_FILE (*crtend.o *crtend?.o ) .ctors))
-    KEEP (*(SORT(.ctors.*)))
-    KEEP (*(.ctors))
-  } >flash AT>flash :flash
-
-  .dtors          :
-  {
-    KEEP (*crtbegin.o(.dtors))
-    KEEP (*crtbegin?.o(.dtors))
-    KEEP (*(EXCLUDE_FILE (*crtend.o *crtend?.o ) .dtors))
-    KEEP (*(SORT(.dtors.*)))
-    KEEP (*(.dtors))
-  } >flash AT>flash :flash
-
-  .lalign         :
-  {
-    . = ALIGN(4);
-    PROVIDE( _data_lma = . );
-  } >flash AT>flash :flash
-
-  .dalign         :
-  {
-    . = ALIGN(4);
-    PROVIDE( _data = . );
-  } >ram AT>flash :ram_init
-
-  .data          :
-  {
-    *(.rdata)
-    *(.rodata .rodata.*)
-    *(.gnu.linkonce.r.*)
-    *(.data .data.*)
-    *(.gnu.linkonce.d.*)
-    . = ALIGN(8);
-    PROVIDE( __global_pointer$ = . + 0x800 );
-    *(.sdata .sdata.*)
-    *(.gnu.linkonce.s.*)
-    . = ALIGN(8);
-    *(.srodata.cst16)
-    *(.srodata.cst8)
-    *(.srodata.cst4)
-    *(.srodata.cst2)
-    *(.srodata .srodata.*)
-  } >ram AT>flash :ram_init
-
-  . = ALIGN(4);
-  PROVIDE( _edata = . );
-  PROVIDE( edata = . );
-
-  PROVIDE( _fbss = . );
-  PROVIDE( __bss_start = . );
-  .bss            :
-  {
-    *(.sbss*)
-    *(.gnu.linkonce.sb.*)
-    *(.bss .bss.*)
-    *(.gnu.linkonce.b.*)
-    *(COMMON)
-    . = ALIGN(4);
-  } >ram AT>ram :ram
-
-  . = ALIGN(8);
-  PROVIDE( _end = . );
-  PROVIDE( end = . );
-
-  .stack ORIGIN(ram) + LENGTH(ram) - __stack_size :
-  {
-    PROVIDE( _heap_end = . );
-    . = __stack_size;
-    PROVIDE( _sp = . );
-  } >ram AT>ram :ram
-}
--- a/env/hifive1/init.c
+++ b/env/hifive1/init.c
@@ -1,238 +0,0 @@
-#include <stdint.h>
-#include <stdio.h>
-#include <unistd.h>
-
-#include "platform.h"
-#include "encoding.h"
-
-extern int main(int argc, char** argv);
-extern void trap_entry();
-
-static unsigned long mtime_lo(void)
-{
-  return *(volatile unsigned long *)(CLINT_CTRL_ADDR + CLINT_MTIME);
-}
-
-#ifdef __riscv32
-
-static uint32_t mtime_hi(void)
-{
-  return *(volatile uint32_t *)(CLINT_CTRL_ADDR + CLINT_MTIME + 4);
-}
-
-uint64_t get_timer_value()
-{
-  while (1) {
-    uint32_t hi = mtime_hi();
-    uint32_t lo = mtime_lo();
-    if (hi == mtime_hi())
-      return ((uint64_t)hi << 32) | lo;
-  }
-}
-
-#else /* __riscv32 */
-
-uint64_t get_timer_value()
-{
-  return mtime_lo();
-}
-
-#endif
-
-unsigned long get_timer_freq()
-{
-  return 32768;
-}
-
-static void use_hfrosc(int div, int trim)
-{
-  // Make sure the HFROSC is running at its default setting
-  PRCI_REG(PRCI_HFROSCCFG) = (ROSC_DIV(div) | ROSC_TRIM(trim) | ROSC_EN(1));
-  while ((PRCI_REG(PRCI_HFROSCCFG) & ROSC_RDY(1)) == 0) ;
-  PRCI_REG(PRCI_PLLCFG) &= ~PLL_SEL(1);
-}
-
-static void use_pll(int refsel, int bypass, int r, int f, int q)
-{
-  // Ensure that we aren't running off the PLL before we mess with it.
-  if (PRCI_REG(PRCI_PLLCFG) & PLL_SEL(1)) {
-    // Make sure the HFROSC is running at its default setting
-    use_hfrosc(4, 16);
-  }
-
-  // Set PLL Source to be HFXOSC if available.
-  uint32_t config_value = 0;
-
-  config_value |= PLL_REFSEL(refsel);
-
-  if (bypass) {
-    // Bypass
-    config_value |= PLL_BYPASS(1);
-
-    PRCI_REG(PRCI_PLLCFG) = config_value;
-
-    // If we don't have an HFXTAL, this doesn't really matter.
-    // Set our Final output divide to divide-by-1:
-    PRCI_REG(PRCI_PLLDIV) = (PLL_FINAL_DIV_BY_1(1) | PLL_FINAL_DIV(0));
-  } else {
-    // In case we are executing from QSPI,
-    // (which is quite likely) we need to
-    // set the QSPI clock divider appropriately
-    // before boosting the clock frequency.
-
-    // Div = f_sck/2
-    SPI0_REG(SPI_REG_SCKDIV) = 8;
-
-    // Set DIV Settings for PLL
-    // Both HFROSC and HFXOSC are modeled as ideal
-    // 16MHz sources (assuming dividers are set properly for
-    // HFROSC).
-    // (Legal values of f_REF are 6-48MHz)
-
-    // Set DIVR to divide-by-2 to get 8MHz frequency
-    // (legal values of f_R are 6-12 MHz)
-
-    config_value |= PLL_BYPASS(1);
-    config_value |= PLL_R(r);
-
-    // Set DIVF to get 512Mhz frequncy
-    // There is an implied multiply-by-2, 16Mhz.
-    // So need to write 32-1
-    // (legal values of f_F are 384-768 MHz)
-    config_value |= PLL_F(f);
-
-    // Set DIVQ to divide-by-2 to get 256 MHz frequency
-    // (legal values of f_Q are 50-400Mhz)
-    config_value |= PLL_Q(q);
-
-    // Set our Final output divide to divide-by-1:
-    PRCI_REG(PRCI_PLLDIV) = (PLL_FINAL_DIV_BY_1(1) | PLL_FINAL_DIV(0));
-
-    PRCI_REG(PRCI_PLLCFG) = config_value;
-
-    // Un-Bypass the PLL.
-    PRCI_REG(PRCI_PLLCFG) &= ~PLL_BYPASS(1);
-
-    // Wait for PLL Lock
-    // Note that the Lock signal can be glitchy.
-    // Need to wait 100 us
-    // RTC is running at 32kHz.
-    // So wait 4 ticks of RTC.
-    uint32_t now = mtime_lo();
-    while (mtime_lo() - now < 4) ;
-
-    // Now it is safe to check for PLL Lock
-    while ((PRCI_REG(PRCI_PLLCFG) & PLL_LOCK(1)) == 0) ;
-  }
-
-  // Switch over to PLL Clock source
-  PRCI_REG(PRCI_PLLCFG) |= PLL_SEL(1);
-}
-
-static void use_default_clocks()
-{
-  // Turn off the LFROSC
-  AON_REG(AON_LFROSC) &= ~ROSC_EN(1);
-
-  // Use HFROSC
-  use_hfrosc(4, 16);
-}
-
-static unsigned long __attribute__((noinline)) measure_cpu_freq(size_t n)
-{
-  unsigned long start_mtime, delta_mtime;
-  unsigned long mtime_freq = get_timer_freq();
-
-  // Don't start measuruing until we see an mtime tick
-  unsigned long tmp = mtime_lo();
-  do {
-    start_mtime = mtime_lo();
-  } while (start_mtime == tmp);
-
-  unsigned long start_mcycle = read_csr(mcycle);
-
-  do {
-    delta_mtime = mtime_lo() - start_mtime;
-  } while (delta_mtime < n);
-
-  unsigned long delta_mcycle = read_csr(mcycle) - start_mcycle;
-
-  return (delta_mcycle / delta_mtime) * mtime_freq
-         + ((delta_mcycle % delta_mtime) * mtime_freq) / delta_mtime;
-}
-
-unsigned long get_cpu_freq()
-{
-  static uint32_t cpu_freq;
-
-  if (!cpu_freq) {
-    // warm up I$
-    measure_cpu_freq(1);
-    // measure for real
-    cpu_freq = measure_cpu_freq(10);
-  }
-
-  return cpu_freq;
-}
-
-static void uart_init(size_t baud_rate)
-{
-  GPIO_REG(GPIO_IOF_SEL) &= ~IOF0_UART0_MASK;
-  GPIO_REG(GPIO_IOF_EN) |= IOF0_UART0_MASK;
-  UART0_REG(UART_REG_DIV) = get_cpu_freq() / baud_rate - 1;
-  UART0_REG(UART_REG_TXCTRL) |= UART_TXEN;
-}
-
-
-
-#ifdef USE_PLIC
-extern void handle_m_ext_interrupt();
-#endif
-
-#ifdef USE_M_TIME
-extern void handle_m_time_interrupt();
-#endif
-
-uintptr_t handle_trap(uintptr_t mcause, uintptr_t epc)
-{
-  if (0){
-#ifdef USE_PLIC
-    // External Machine-Level interrupt from PLIC
-  } else if ((mcause & MCAUSE_INT) && ((mcause & MCAUSE_CAUSE) == IRQ_M_EXT)) {
-    handle_m_ext_interrupt();
-#endif
-#ifdef USE_M_TIME
-    // External Machine-Level interrupt from PLIC
-  } else if ((mcause & MCAUSE_INT) && ((mcause & MCAUSE_CAUSE) == IRQ_M_TIMER)){
-    handle_m_time_interrupt();
-#endif
-  }
-  else {
-    write(1, "trap\n", 5);
-    _exit(1 + mcause);
-  }
-  return epc;
-}
-
-void _init()
-{
-  
-  #ifndef NO_INIT
-  use_default_clocks();
-  use_pll(0, 0, 1, 31, 1);
-  uart_init(115200);
-
-  printf("core freq at %d Hz\n", get_cpu_freq());
-
-  write_csr(mtvec, &trap_entry);
-  if (read_csr(misa) & (1 << ('F' - 'A'))) { // if F extension is present
-    write_csr(mstatus, MSTATUS_FS); // allow FPU instructions without trapping
-    write_csr(fcsr, 0); // initialize rounding mode, undefined at reset
-  }
-  #endif
-  
-}
-
-void _fini()
-{
-}
--- a/env/hifive1/link.lds
+++ b/env/hifive1/link.lds
@@ -1,166 +0,0 @@
-OUTPUT_ARCH( "riscv" )
-
-ENTRY( _start )
-
-MEMORY
-{
-  flash (rxai!w) : ORIGIN = 0x20400000, LENGTH = 512M
-  ram (wxa!ri) : ORIGIN = 0x80000000, LENGTH = 512K
-}
-
-PHDRS
-{
-  flash PT_LOAD;
-  ram_init PT_LOAD;
-  ram PT_NULL;
-}
-
-SECTIONS
-{
-  __stack_size = DEFINED(__stack_size) ? __stack_size : 2K;
-
-  .init           :
-  {
-    KEEP (*(SORT_NONE(.init)))
-  } >flash AT>flash :flash
-
-  .text           :
-  {
-    *(.text.unlikely .text.unlikely.*)
-    *(.text.startup .text.startup.*)
-    *(.text .text.*)
-    *(.gnu.linkonce.t.*)
-  } >flash AT>flash :flash
-
-  .fini           :
-  {
-    KEEP (*(SORT_NONE(.fini)))
-  } >flash AT>flash :flash
-
-  PROVIDE (__etext = .);
-  PROVIDE (_etext = .);
-  PROVIDE (etext = .);
-
-  .rodata         :
-  {
-    *(.rdata)
-    *(.rodata .rodata.*)
-    *(.gnu.linkonce.r.*)
-  } >flash AT>flash :flash
-
-  . = ALIGN(4);
-
-  .preinit_array  :
-  {
-    PROVIDE_HIDDEN (__preinit_array_start = .);
-    KEEP (*(.preinit_array))
-    PROVIDE_HIDDEN (__preinit_array_end = .);
-  } >flash AT>flash :flash
-
-  .init_array     :
-  {
-    PROVIDE_HIDDEN (__init_array_start = .);
-    KEEP (*(SORT_BY_INIT_PRIORITY(.init_array.*) SORT_BY_INIT_PRIORITY(.ctors.*)))
-    KEEP (*(.init_array EXCLUDE_FILE (*crtbegin.o *crtbegin?.o *crtend.o *crtend?.o ) .ctors))
-    PROVIDE_HIDDEN (__init_array_end = .);
-  } >flash AT>flash :flash
-
-  .fini_array     :
-  {
-    PROVIDE_HIDDEN (__fini_array_start = .);
-    KEEP (*(SORT_BY_INIT_PRIORITY(.fini_array.*) SORT_BY_INIT_PRIORITY(.dtors.*)))
-    KEEP (*(.fini_array EXCLUDE_FILE (*crtbegin.o *crtbegin?.o *crtend.o *crtend?.o ) .dtors))
-    PROVIDE_HIDDEN (__fini_array_end = .);
-  } >flash AT>flash :flash
-
-  .ctors          :
-  {
-    /* gcc uses crtbegin.o to find the start of
-       the constructors, so we make sure it is
-       first.  Because this is a wildcard, it
-       doesn't matter if the user does not
-       actually link against crtbegin.o; the
-       linker won't look for a file to match a
-       wildcard.  The wildcard also means that it
-       doesn't matter which directory crtbegin.o
-       is in.  */
-    KEEP (*crtbegin.o(.ctors))
-    KEEP (*crtbegin?.o(.ctors))
-    /* We don't want to include the .ctor section from
-       the crtend.o file until after the sorted ctors.
-       The .ctor section from the crtend file contains the
-       end of ctors marker and it must be last */
-    KEEP (*(EXCLUDE_FILE (*crtend.o *crtend?.o ) .ctors))
-    KEEP (*(SORT(.ctors.*)))
-    KEEP (*(.ctors))
-  } >flash AT>flash :flash
-
-  .dtors          :
-  {
-    KEEP (*crtbegin.o(.dtors))
-    KEEP (*crtbegin?.o(.dtors))
-    KEEP (*(EXCLUDE_FILE (*crtend.o *crtend?.o ) .dtors))
-    KEEP (*(SORT(.dtors.*)))
-    KEEP (*(.dtors))
-  } >flash AT>flash :flash
-
-  .except :
-  {
-  	*(.gcc_except_table.*)
-  } >flash AT>flash :flash
-  
-  .lalign         :
-  {
-    . = ALIGN(4);
-    PROVIDE( _data_lma = . );
-  } >flash AT>flash :flash
-
-  .dalign         :
-  {
-    . = ALIGN(4);
-    PROVIDE( _data = . );
-  } >ram AT>flash :ram_init
-
-  .data          :
-  {
-    *(.data .data.*)
-    *(.gnu.linkonce.d.*)
-    . = ALIGN(8);
-    PROVIDE( __global_pointer$ = . + 0x800 );
-    *(.sdata .sdata.*)
-    *(.gnu.linkonce.s.*)
-    . = ALIGN(8);
-    *(.srodata.cst16)
-    *(.srodata.cst8)
-    *(.srodata.cst4)
-    *(.srodata.cst2)
-    *(.srodata .srodata.*)
-  } >ram AT>flash :ram_init
-
-  . = ALIGN(4);
-  PROVIDE( _edata = . );
-  PROVIDE( edata = . );
-
-  PROVIDE( _fbss = . );
-  PROVIDE( __bss_start = . );
-  .bss            :
-  {
-    *(.sbss*)
-    *(.gnu.linkonce.sb.*)
-    *(.bss .bss.*)
-    *(.gnu.linkonce.b.*)
-    *(COMMON)
-    . = ALIGN(4);
-  } >ram AT>ram :ram
-
-  . = ALIGN(8);
-  PROVIDE( _end = . );
-  PROVIDE( end = . );
-
-  .stack ORIGIN(ram) + LENGTH(ram) - __stack_size :
-  {
-    PROVIDE( _heap_end = . );
-    . = __stack_size;
-    PROVIDE( _sp = . );
-  } >ram AT>ram :ram
-}
--- a/env/hifive1/openocd.cfg
+++ b/env/hifive1/openocd.cfg
@@ -1,34 +0,0 @@
-adapter_khz     10000
-
-interface ftdi
-ftdi_device_desc "Dual RS232-HS"
-ftdi_vid_pid 0x0403 0x6010
-
-ftdi_layout_init 0x0008 0x001b
-ftdi_layout_signal nSRST -oe 0x0020 -data 0x0020
-
-#Reset Stretcher logic on FE310 is ~1 second long
-#This doesn't apply if you use
-# ftdi_set_signal, but still good to document
-#adapter_nsrst_delay 1500
-
-set _CHIPNAME riscv
-jtag newtap $_CHIPNAME cpu -irlen 5 -expected-id 0x10e31913
-
-set _TARGETNAME $_CHIPNAME.cpu
-target create $_TARGETNAME riscv -chain-position $_TARGETNAME
-$_TARGETNAME configure -work-area-phys 0x80000000 -work-area-size 10000 -work-area-backup 1
-
-flash bank onboard_spi_flash fespi 0x20000000 0 0 0 $_TARGETNAME
-init
-#reset -- This type of reset is not implemented yet
-if {[ info exists pulse_srst]} {
-  ftdi_set_signal nSRST 0
-  ftdi_set_signal nSRST z
-  #Wait for the reset stretcher
-  #It will work without this, but
-  #will incur lots of delays for later commands.
-  sleep 1500
-}	
-halt
-#flash protect 0 64 last off
--- a/env/hifive1/platform.h
+++ b/env/hifive1/platform.h
@@ -1,133 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_PLATFORM_H
-#define _SIFIVE_PLATFORM_H
-
-// Some things missing from the official encoding.h
-#define MCAUSE_INT         0x80000000
-#define MCAUSE_CAUSE       0x7FFFFFFF
-
-#include "bits.h"
-#include "sifive/devices/aon.h"
-#include "sifive/devices/clint.h"
-#include "sifive/devices/gpio.h"
-#include "sifive/devices/otp.h"
-#include "sifive/devices/plic.h"
-#include "sifive/devices/prci.h"
-#include "sifive/devices/pwm.h"
-#include "sifive/devices/spi.h"
-#include "sifive/devices/uart.h"
-
-/****************************************************************************
- * Platform definitions
- *****************************************************************************/
-
-// Memory map
-#define MASKROM_MEM_ADDR _AC(0x00001000,UL)
-#define TRAPVEC_TABLE_CTRL_ADDR _AC(0x00001010,UL)
-#define OTP_MEM_ADDR _AC(0x00020000,UL)
-#define CLINT_CTRL_ADDR _AC(0x02000000,UL)
-#define PLIC_CTRL_ADDR _AC(0x0C000000,UL)
-#define AON_CTRL_ADDR _AC(0x10000000,UL)
-#define PRCI_CTRL_ADDR _AC(0x10008000,UL)
-#define OTP_CTRL_ADDR _AC(0x10010000,UL)
-#define GPIO_CTRL_ADDR _AC(0x10012000,UL)
-#define UART0_CTRL_ADDR _AC(0x10013000,UL)
-#define SPI0_CTRL_ADDR _AC(0x10014000,UL)
-#define PWM0_CTRL_ADDR _AC(0x10015000,UL)
-#define UART1_CTRL_ADDR _AC(0x10023000,UL)
-#define SPI1_CTRL_ADDR _AC(0x10024000,UL)
-#define PWM1_CTRL_ADDR _AC(0x10025000,UL)
-#define SPI2_CTRL_ADDR _AC(0x10034000,UL)
-#define PWM2_CTRL_ADDR _AC(0x10035000,UL)
-#define SPI0_MEM_ADDR _AC(0x20000000,UL)
-#define MEM_CTRL_ADDR _AC(0x80000000,UL)
-
-// IOF masks
-#define IOF0_SPI1_MASK          _AC(0x000007FC,UL)
-#define SPI11_NUM_SS     (4)
-#define IOF_SPI1_SS0          (2u)
-#define IOF_SPI1_SS1          (8u)
-#define IOF_SPI1_SS2          (9u)
-#define IOF_SPI1_SS3          (10u)
-#define IOF_SPI1_MOSI         (3u)
-#define IOF_SPI1_MISO         (4u)
-#define IOF_SPI1_SCK          (5u)
-#define IOF_SPI1_DQ0          (3u)
-#define IOF_SPI1_DQ1          (4u)
-#define IOF_SPI1_DQ2          (6u)
-#define IOF_SPI1_DQ3          (7u)
-
-#define IOF0_SPI2_MASK          _AC(0xFC000000,UL)
-#define SPI2_NUM_SS       (1)
-#define IOF_SPI2_SS0          (26u)
-#define IOF_SPI2_MOSI         (27u)
-#define IOF_SPI2_MISO         (28u)
-#define IOF_SPI2_SCK          (29u)
-#define IOF_SPI2_DQ0          (27u)
-#define IOF_SPI2_DQ1          (28u)
-#define IOF_SPI2_DQ2          (30u)
-#define IOF_SPI2_DQ3          (31u)
-
-//#define IOF0_I2C_MASK          _AC(0x00003000,UL)
-
-#define IOF0_UART0_MASK         _AC(0x00030000, UL)
-#define IOF_UART0_RX   (16u)
-#define IOF_UART0_TX   (17u)
-
-#define IOF0_UART1_MASK         _AC(0x03000000, UL)
-#define IOF_UART1_RX (24u)
-#define IOF_UART1_TX (25u)
-
-#define IOF1_PWM0_MASK          _AC(0x0000000F, UL)
-#define IOF1_PWM1_MASK          _AC(0x00780000, UL)
-#define IOF1_PWM2_MASK          _AC(0x00003C00, UL)
-
-// Interrupt numbers
-#define INT_RESERVED 0
-#define INT_WDOGCMP 1
-#define INT_RTCCMP 2
-#define INT_UART0_BASE 3
-#define INT_UART1_BASE 4
-#define INT_SPI0_BASE 5
-#define INT_SPI1_BASE 6
-#define INT_SPI2_BASE 7
-#define INT_GPIO_BASE 8
-#define INT_PWM0_BASE 40
-#define INT_PWM1_BASE 44
-#define INT_PWM2_BASE 48
-
-// Helper functions
-#define _REG32(p, i) (*(volatile uint32_t *) ((p) + (i)))
-#define _REG32P(p, i) ((volatile uint32_t *) ((p) + (i)))
-#define AON_REG(offset) _REG32(AON_CTRL_ADDR, offset)
-#define CLINT_REG(offset) _REG32(CLINT_CTRL_ADDR, offset)
-#define GPIO_REG(offset) _REG32(GPIO_CTRL_ADDR, offset)
-#define OTP_REG(offset)  _REG32(OTP_CTRL_ADDR, offset)
-#define PLIC_REG(offset) _REG32(PLIC_CTRL_ADDR, offset)
-#define PRCI_REG(offset) _REG32(PRCI_CTRL_ADDR, offset)
-#define PWM0_REG(offset) _REG32(PWM0_CTRL_ADDR, offset)
-#define PWM1_REG(offset) _REG32(PWM1_CTRL_ADDR, offset)
-#define PWM2_REG(offset) _REG32(PWM2_CTRL_ADDR, offset)
-#define SPI0_REG(offset) _REG32(SPI0_CTRL_ADDR, offset)
-#define SPI1_REG(offset) _REG32(SPI1_CTRL_ADDR, offset)
-#define SPI2_REG(offset) _REG32(SPI2_CTRL_ADDR, offset)
-#define UART0_REG(offset) _REG32(UART0_CTRL_ADDR, offset)
-#define UART1_REG(offset) _REG32(UART1_CTRL_ADDR, offset)
-
-// Misc
-
-#include <stdint.h>
-
-#define NUM_GPIO 32
-
-#define PLIC_NUM_INTERRUPTS 52
-#define PLIC_NUM_PRIORITIES 7
-
-#include "hifive1.h"
-
-unsigned long get_cpu_freq(void);
-unsigned long get_timer_freq(void);
-uint64_t get_timer_value(void);
-
-#endif /* _SIFIVE_PLATFORM_H */
--- a/env/hifive1/settings.mk
+++ b/env/hifive1/settings.mk
@@ -1,3 +0,0 @@
-# Describes the CPU on this board to the rest of the SDK.
-RISCV_ARCH := rv32imac
-RISCV_ABI  := ilp32
--- a/env/iss/CMakeLists.txt
+++ b/env/iss/CMakeLists.txt
@@ -1,30 +0,0 @@
-#cmake_minimum_required(VERSION 3.12)
-project(iss)
-message(STATUS " here in iss")
-
-# Create library for ISS board support
-add_library(board_iss STATIC
-    init.c
-    write.c
-)
-
-# Include directories
-target_include_directories(board_iss PUBLIC
-    ${BSP_BASE}/include
-    ${BSP_BASE}/env
-    ${CMAKE_CURRENT_SOURCE_DIR}
-)
-
-# Set compile options
-target_compile_options(board_iss PRIVATE
-    -march=${RISCV_ARCH}_zicsr_zifencei
-    -mabi=${RISCV_ABI}
-    -mcmodel=medany
-    -ffunction-sections
-    -fdata-sections
-)
-
-# Add compile definitions
-target_compile_definitions(board_iss PRIVATE
-    BOARD_${BOARD}
-)
--- a/env/iss/bsp_read.c
+++ b/env/iss/bsp_read.c
@@ -0,0 +1,6 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+ssize_t _bsp_read(int fd, void *ptr, size_t len) { return EOF; }
--- a/env/iss/bsp_write.c
+++ b/env/iss/bsp_write.c
@@ -0,0 +1,25 @@
+/* See LICENSE of license details. */
+
+#include <errno.h>
+#include <stdint.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+#include <string.h>
+
+extern volatile uint64_t tohost;
+
+ssize_t _bsp_write(int fd, const void *ptr, size_t len) {
+
+  if (isatty(fd)) {
+    volatile uint64_t payload[8];
+    memset((void *)payload, 0, 8 * sizeof(uint64_t));
+    payload[0] = 64;
+    payload[2] = (uintptr_t)ptr;
+    payload[3] = len;
+    tohost = (uintptr_t)payload;
+    return len;
+  }
+
+  return 1;
+}
--- a/env/iss/link.lds
+++ b/env/iss/link.lds
@@ -13,6 +13,7 @@ PHDRS
  flash PT_LOAD;
  ram_init PT_LOAD;
  ram PT_NULL;
+
 }

 SECTIONS
@@ -123,22 +124,30 @@ SECTIONS
    *(.gnu.linkonce.d.*)
  } >ram AT>flash :ram_init

+
+ 
+  .sdata          :
+  {    
+     
+    __SDATA_BEGIN__ = .;
+    *(.sdata .sdata.*)
+    *(.gnu.linkonce.s.*)
+
+  } >ram AT>flash :ram_init
+ 
+
  .srodata        :
  {
+
    PROVIDE( _gp = . + 0x800 );
    *(.srodata.cst16)
    *(.srodata.cst8)
    *(.srodata.cst4)
    *(.srodata.cst2)
    *(.srodata .srodata.*)
+
  } >ram AT>flash :ram_init

-  .sdata          :
-  {
-    __SDATA_BEGIN__ = .;
-    *(.sdata .sdata.*)
-    *(.gnu.linkonce.s.*)
-  } >ram AT>flash :ram_init

  . = ALIGN(4);
  PROVIDE( _edata = . );
@@ -169,6 +178,7 @@ SECTIONS
    PROVIDE( _sp = . );
  } >ram AT>ram :ram

-  PROVIDE( tohost = 0xfffffff0 );
-  PROVIDE( fromhost = 0xfffffff8 );
+  PROVIDE( tohost = . );
+  PROVIDE( fromhost = . + 8 );
 }
+
--- a/env/iss/platform.h
+++ b/env/iss/platform.h
@@ -22,6 +22,9 @@

 #include <stdint.h>

+extern volatile uintptr_t tohost;
+extern volatile uintptr_t fromhost;
+
 void init_pll(void);
 unsigned long get_cpu_freq(void);
 unsigned long get_timer_freq(void);
--- a/env/iss/write.c
+++ b/env/iss/write.c
@@ -1,38 +0,0 @@
-/* See LICENSE of license details. */
-
-#include <errno.h>
-#include <stdint.h>
-#include <sys/types.h>
-#include <unistd.h>
-
-#include "platform.h"
-#include "stub.h"
-#include "weak_under_alias.h"
-#if defined(SEMIHOSTING)
-#include "semihosting.h"
-#endif
-
-ssize_t __wrap_write(int fd, const void *ptr, size_t len) {
-  const uint8_t *current = (const uint8_t *)ptr;
-#if defined(SEMIHOSTING)
-  if (isatty(fd)) {
-    for (size_t jj = 0; jj < len; jj++) {
-      sh_writec(current[jj]);
-    }
-    return len;
-  } else {
-    sh_write(current, fd);
-    return len;
-  }
-  // return len;
-#endif
-  if (isatty(fd)) {
-    for (size_t jj = 0; jj < len; jj++) {
-      *((uint32_t *)0xFFFF0000) = current[jj];
-    }
-    return len;
-  }
-
-  return _stub(EBADF);
-}
-weak_under_alias(write);
--- a/env/moonlight/.gitignore
+++ b/env/moonlight/.gitignore
--- a/env/moonlight/bsp_read.c
+++ b/env/moonlight/bsp_read.c
@@ -0,0 +1,21 @@
+#include "platform.h"
+#include <stdint.h>
+#include <stdio.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+ssize_t _bsp_read(int fd, void *ptr, size_t len) {
+  uint8_t *current = (uint8_t *)ptr;
+  ssize_t result = 0;
+  if (isatty(fd)) {
+    for (current = (uint8_t *)ptr; (current < ((uint8_t *)ptr) + len) &&
+                                   (get_uart_rx_tx_reg_rx_avail(uart) > 0);
+         current++) {
+      *current = uart_read(uart);
+      result++;
+    }
+
+    return result;
+  }
+  return EOF;
+}
--- a/env/moonlight/bsp_write.c
+++ b/env/moonlight/bsp_write.c
@@ -0,0 +1,21 @@
+/* See LICENSE of license details. */
+
+#include "platform.h"
+#include <errno.h>
+#include <stdint.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+ssize_t _bsp_write(int fd, const void *ptr, size_t len) {
+  const uint8_t *current = (const uint8_t *)ptr;
+  if (isatty(fd)) {
+    for (size_t jj = 0; jj < len; jj++) {
+      uart_write(uart, current[jj]);
+      if (current[jj] == '\n') {
+        uart_write(uart, '\r');
+      }
+    }
+    return len;
+  }
+  return 1;
+}
--- a/env/moonlight/init.c
+++ b/env/moonlight/init.c
--- a/env/moonlight/link.lds
+++ b/env/moonlight/link.lds
@@ -171,6 +171,8 @@ SECTIONS
    PROVIDE( _sp = . );
  } >ram AT>ram :ram

-  PROVIDE( tohost = 0xfffffff0 );
-  PROVIDE( fromhost = 0xfffffff8 );
+
+  
+  PROVIDE( tohost = . );
+  PROVIDE( fromhost = . + 8 );
 }
--- a/env/moonlight/platform.h
+++ b/env/moonlight/platform.h
@@ -0,0 +1,52 @@
+// See LICENSE for license details.
+
+#ifndef _ISS_PLATFORM_H
+#define _ISS_PLATFORM_H
+
+#if __riscv_xlen == 32
+#define MCAUSE_INT 0x80000000UL
+#define MCAUSE_CAUSE 0x000003FFUL
+#else
+#define MCAUSE_INT 0x8000000000000000UL
+#define MCAUSE_CAUSE 0x00000000000003FFUL
+#endif
+
+#define APB_BUS
+
+#include "minres/devices/aclint.h"
+#include "minres/devices/camera.h"
+#include "minres/devices/dma.h"
+#include "minres/devices/gpio.h"
+#include "minres/devices/i2s.h"
+#include "minres/devices/msg_if.h"
+#include "minres/devices/qspi.h"
+#include "minres/devices/timer.h"
+#include "minres/devices/uart.h"
+
+#define PERIPH(TYPE, ADDR) ((volatile TYPE *)(ADDR))
+
+#define APB_BASE 0xF0000000
+
+#define gpio PERIPH(gpio_t, APB_BASE + 0x0000)
+#define uart PERIPH(uart_t, APB_BASE + 0x1000)
+#define timer PERIPH(timercounter_t, APB_BASE + 0x20000)
+#define aclint PERIPH(aclint_t, APB_BASE + 0x30000)
+#define irq PERIPH(irq_t, APB_BASE + 0x40000)
+#define qspi PERIPH(qspi_t, APB_BASE + 0x50000)
+#define i2s PERIPH(i2s_t, APB_BASE + 0x90000)
+#define camera PERIPH(camera_t, APB_BASE + 0xA0000)
+#define dma PERIPH(dma_t, APB_BASE + 0xB0000)
+#define msgif PERIPH(msgif_t, APB_BASE + 0xC0000)
+
+#define XIP_START_LOC 0xE0040000
+#define RAM_START_LOC 0x80000000
+
+// Misc
+
+#include <stdint.h>
+
+void init_pll(void);
+unsigned long get_cpu_freq(void);
+unsigned long get_timer_freq(void);
+
+#endif /* _ISS_PLATFORM_H */
--- a/env/moonlight/ram.lds
+++ b/env/moonlight/ram.lds
--- a/env/moonlight/rom.lds
+++ b/env/moonlight/rom.lds
--- a/libwrap/semihosting/semihosting.c
+++ b/libwrap/semihosting/semihosting.c
--- a/env/testbench/TGCP/.gitignore
+++ b/env/testbench/TGCP/.gitignore
--- a/env/testbench/TGCP/init.c
+++ b/env/testbench/TGCP/init.c
--- a/env/testbench/TGCP/link.lds
+++ b/env/testbench/TGCP/link.lds
--- a/env/testbench/TGCP/platform.h
+++ b/env/testbench/TGCP/platform.h
--- a/env/testbench/rtl/.gitignore
+++ b/env/testbench/rtl/.gitignore
--- a/env/testbench/rtl/bsp_read.c
+++ b/env/testbench/rtl/bsp_read.c
@@ -0,0 +1,19 @@
+#include <stdint.h>
+#include <stdio.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+ssize_t _bsp_read(int fd, void *ptr, size_t len) {
+  uint8_t *current = (uint8_t *)ptr;
+  volatile uint32_t *uart_rx = (uint32_t *)0xFFFF0000;
+  ssize_t result = 0;
+  if (isatty(fd)) {
+    for (current = (uint8_t *)ptr; (current < ((uint8_t *)ptr) + len);
+         current++) {
+      *current = *uart_rx;
+      result++;
+    }
+    return result;
+  }
+  return EOF;
+}
--- a/env/testbench/rtl/bsp_write.c
+++ b/env/testbench/rtl/bsp_write.c
@@ -0,0 +1,18 @@
+/* See LICENSE of license details. */
+
+#include <errno.h>
+#include <stdint.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+ssize_t _bsp_write(int fd, const void *ptr, size_t len) {
+  const uint8_t *current = (const uint8_t *)ptr;
+  if (isatty(fd)) {
+    for (size_t jj = 0; jj < len; jj++) {
+      *((uint32_t *)0xFFFF0000) = current[jj];
+    }
+    return len;
+  }
+
+  return 1;
+}
--- a/env/testbench/rtl/init.c
+++ b/env/testbench/rtl/init.c
--- a/env/testbench/rtl/link.lds
+++ b/env/testbench/rtl/link.lds
--- a/env/testbench/rtl/platform.h
+++ b/env/testbench/rtl/platform.h
--- a/env/tgc_vp
+++ b/env/tgc_vp
@@ -1 +1 @@
-ehrenberg
+moonlight/
--- a/libwrap/semihosting/trap.c
+++ b/libwrap/semihosting/trap.c
--- a/include/ehrenberg/devices/aclint.h
+++ b/include/ehrenberg/devices/aclint.h
--- a/include/ehrenberg/devices/camera.h
+++ b/include/ehrenberg/devices/camera.h
--- a/include/ehrenberg/devices/dma.h
+++ b/include/ehrenberg/devices/dma.h
--- a/include/ehrenberg/devices/gen/aclint.h
+++ b/include/ehrenberg/devices/gen/aclint.h
@@ -43,48 +43,48 @@ typedef struct {
 #define ACLINT_MTIME_HI(V) ((V & ACLINT_MTIME_HI_MASK) << ACLINT_MTIME_HI_OFFS)

 //ACLINT_MSIP0
-inline uint32_t get_aclint_msip0(volatile aclint_t* reg){
+static inline uint32_t get_aclint_msip0(volatile aclint_t* reg){
     return reg->MSIP0;
 }
-inline void set_aclint_msip0(volatile aclint_t* reg, uint32_t value){
+static inline void set_aclint_msip0(volatile aclint_t* reg, uint32_t value){
     reg->MSIP0 = value;
 }
-inline uint32_t get_aclint_msip0_msip(volatile aclint_t* reg){
+static inline uint32_t get_aclint_msip0_msip(volatile aclint_t* reg){
    return (reg->MSIP0 >> 0) & 0x1;
 }
-inline void set_aclint_msip0_msip(volatile aclint_t* reg, uint8_t value){
+static inline void set_aclint_msip0_msip(volatile aclint_t* reg, uint8_t value){
    reg->MSIP0 = (reg->MSIP0 & ~(0x1U << 0)) | (value << 0);
 }

 //ACLINT_MTIMECMP0LO
-inline uint32_t get_aclint_mtimecmp0lo(volatile aclint_t* reg){
+static inline uint32_t get_aclint_mtimecmp0lo(volatile aclint_t* reg){
    return (reg->MTIMECMP0LO >> 0) & 0xffffffff;
 }
-inline void set_aclint_mtimecmp0lo(volatile aclint_t* reg, uint32_t value){
+static inline void set_aclint_mtimecmp0lo(volatile aclint_t* reg, uint32_t value){
    reg->MTIMECMP0LO = (reg->MTIMECMP0LO & ~(0xffffffffU << 0)) | (value << 0);
 }

 //ACLINT_MTIMECMP0HI
-inline uint32_t get_aclint_mtimecmp0hi(volatile aclint_t* reg){
+static inline uint32_t get_aclint_mtimecmp0hi(volatile aclint_t* reg){
    return (reg->MTIMECMP0HI >> 0) & 0xffffffff;
 }
-inline void set_aclint_mtimecmp0hi(volatile aclint_t* reg, uint32_t value){
+static inline void set_aclint_mtimecmp0hi(volatile aclint_t* reg, uint32_t value){
    reg->MTIMECMP0HI = (reg->MTIMECMP0HI & ~(0xffffffffU << 0)) | (value << 0);
 }

 //ACLINT_MTIME_LO
-inline uint32_t get_aclint_mtime_lo(volatile aclint_t* reg){
+static inline uint32_t get_aclint_mtime_lo(volatile aclint_t* reg){
    return (reg->MTIME_LO >> 0) & 0xffffffff;
 }
-inline void set_aclint_mtime_lo(volatile aclint_t* reg, uint32_t value){
+static inline void set_aclint_mtime_lo(volatile aclint_t* reg, uint32_t value){
    reg->MTIME_LO = (reg->MTIME_LO & ~(0xffffffffU << 0)) | (value << 0);
 }

 //ACLINT_MTIME_HI
-inline uint32_t get_aclint_mtime_hi(volatile aclint_t* reg){
+static inline uint32_t get_aclint_mtime_hi(volatile aclint_t* reg){
    return (reg->MTIME_HI >> 0) & 0xffffffff;
 }
-inline void set_aclint_mtime_hi(volatile aclint_t* reg, uint32_t value){
+static inline void set_aclint_mtime_hi(volatile aclint_t* reg, uint32_t value){
    reg->MTIME_HI = (reg->MTIME_HI & ~(0xffffffffU << 0)) | (value << 0);
 }

--- a/include/ehrenberg/devices/gen/apb3spi.h
+++ b/include/ehrenberg/devices/gen/apb3spi.h
@@ -158,266 +158,266 @@ typedef struct {
 #define APB3SPI_XIP_READ(V) ((V & APB3SPI_XIP_READ_MASK) << APB3SPI_XIP_READ_OFFS)

 //APB3SPI_DATA
-inline uint32_t get_apb3spi_data(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_data(volatile apb3spi_t* reg){
     return reg->DATA;
 }
-inline void set_apb3spi_data(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_data(volatile apb3spi_t* reg, uint32_t value){
     reg->DATA = value;
 }
-inline void set_apb3spi_data_data(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_data_data(volatile apb3spi_t* reg, uint8_t value){
    reg->DATA = (reg->DATA & ~(0xffU << 0)) | (value << 0);
 }
-inline uint32_t get_apb3spi_data_write(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_data_write(volatile apb3spi_t* reg){
    return (reg->DATA >> 8) & 0x1;
 }
-inline void set_apb3spi_data_write(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_data_write(volatile apb3spi_t* reg, uint8_t value){
    reg->DATA = (reg->DATA & ~(0x1U << 8)) | (value << 8);
 }
-inline uint32_t get_apb3spi_data_read(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_data_read(volatile apb3spi_t* reg){
    return (reg->DATA >> 9) & 0x1;
 }
-inline void set_apb3spi_data_read(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_data_read(volatile apb3spi_t* reg, uint8_t value){
    reg->DATA = (reg->DATA & ~(0x1U << 9)) | (value << 9);
 }
-inline uint32_t get_apb3spi_data_kind(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_data_kind(volatile apb3spi_t* reg){
    return (reg->DATA >> 11) & 0x1;
 }
-inline void set_apb3spi_data_kind(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_data_kind(volatile apb3spi_t* reg, uint8_t value){
    reg->DATA = (reg->DATA & ~(0x1U << 11)) | (value << 11);
 }
-inline uint32_t get_apb3spi_data_rx_data_invalid(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_data_rx_data_invalid(volatile apb3spi_t* reg){
    return (reg->DATA >> 31) & 0x1;
 }

 //APB3SPI_STATUS
-inline uint32_t get_apb3spi_status(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_status(volatile apb3spi_t* reg){
     return reg->STATUS;
 }
-inline uint32_t get_apb3spi_status_tx_free(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_status_tx_free(volatile apb3spi_t* reg){
    return (reg->STATUS >> 0) & 0x3f;
 }
-inline uint32_t get_apb3spi_status_rx_avail(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_status_rx_avail(volatile apb3spi_t* reg){
    return (reg->STATUS >> 16) & 0x3f;
 }

 //APB3SPI_CONFIG
-inline uint32_t get_apb3spi_config(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_config(volatile apb3spi_t* reg){
     return reg->CONFIG;
 }
-inline void set_apb3spi_config(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_config(volatile apb3spi_t* reg, uint32_t value){
     reg->CONFIG = value;
 }
-inline uint32_t get_apb3spi_config_kind(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_config_kind(volatile apb3spi_t* reg){
    return (reg->CONFIG >> 0) & 0x3;
 }
-inline void set_apb3spi_config_kind(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_config_kind(volatile apb3spi_t* reg, uint8_t value){
    reg->CONFIG = (reg->CONFIG & ~(0x3U << 0)) | (value << 0);
 }
-inline uint32_t get_apb3spi_config_mode(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_config_mode(volatile apb3spi_t* reg){
    return (reg->CONFIG >> 4) & 0x3;
 }
-inline void set_apb3spi_config_mode(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_config_mode(volatile apb3spi_t* reg, uint8_t value){
    reg->CONFIG = (reg->CONFIG & ~(0x3U << 4)) | (value << 4);
 }

 //APB3SPI_INTR
-inline uint32_t get_apb3spi_intr(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_intr(volatile apb3spi_t* reg){
     return reg->INTR;
 }
-inline void set_apb3spi_intr(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_intr(volatile apb3spi_t* reg, uint32_t value){
     reg->INTR = value;
 }
-inline uint32_t get_apb3spi_intr_tx_ie(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_intr_tx_ie(volatile apb3spi_t* reg){
    return (reg->INTR >> 0) & 0x1;
 }
-inline void set_apb3spi_intr_tx_ie(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_intr_tx_ie(volatile apb3spi_t* reg, uint8_t value){
    reg->INTR = (reg->INTR & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_apb3spi_intr_rx_ie(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_intr_rx_ie(volatile apb3spi_t* reg){
    return (reg->INTR >> 1) & 0x1;
 }
-inline void set_apb3spi_intr_rx_ie(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_intr_rx_ie(volatile apb3spi_t* reg, uint8_t value){
    reg->INTR = (reg->INTR & ~(0x1U << 1)) | (value << 1);
 }
-inline uint32_t get_apb3spi_intr_tx_ip(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_intr_tx_ip(volatile apb3spi_t* reg){
    return (reg->INTR >> 8) & 0x1;
 }
-inline uint32_t get_apb3spi_intr_rx_ip(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_intr_rx_ip(volatile apb3spi_t* reg){
    return (reg->INTR >> 9) & 0x1;
 }
-inline uint32_t get_apb3spi_intr_tx_active(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_intr_tx_active(volatile apb3spi_t* reg){
    return (reg->INTR >> 16) & 0x1;
 }

 //APB3SPI_SCLK_CONFIG
-inline uint32_t get_apb3spi_sclk_config(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_sclk_config(volatile apb3spi_t* reg){
     return reg->SCLK_CONFIG;
 }
-inline void set_apb3spi_sclk_config(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_sclk_config(volatile apb3spi_t* reg, uint32_t value){
     reg->SCLK_CONFIG = value;
 }
-inline uint32_t get_apb3spi_sclk_config_clk_divider(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_sclk_config_clk_divider(volatile apb3spi_t* reg){
    return (reg->SCLK_CONFIG >> 0) & 0xfff;
 }
-inline void set_apb3spi_sclk_config_clk_divider(volatile apb3spi_t* reg, uint16_t value){
+static inline void set_apb3spi_sclk_config_clk_divider(volatile apb3spi_t* reg, uint16_t value){
    reg->SCLK_CONFIG = (reg->SCLK_CONFIG & ~(0xfffU << 0)) | (value << 0);
 }

 //APB3SPI_SSGEN_SETUP
-inline uint32_t get_apb3spi_ssgen_setup(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_setup(volatile apb3spi_t* reg){
     return reg->SSGEN_SETUP;
 }
-inline void set_apb3spi_ssgen_setup(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_ssgen_setup(volatile apb3spi_t* reg, uint32_t value){
     reg->SSGEN_SETUP = value;
 }
-inline uint32_t get_apb3spi_ssgen_setup_setup_cycles(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_setup_setup_cycles(volatile apb3spi_t* reg){
    return (reg->SSGEN_SETUP >> 0) & 0xfff;
 }
-inline void set_apb3spi_ssgen_setup_setup_cycles(volatile apb3spi_t* reg, uint16_t value){
+static inline void set_apb3spi_ssgen_setup_setup_cycles(volatile apb3spi_t* reg, uint16_t value){
    reg->SSGEN_SETUP = (reg->SSGEN_SETUP & ~(0xfffU << 0)) | (value << 0);
 }

 //APB3SPI_SSGEN_HOLD
-inline uint32_t get_apb3spi_ssgen_hold(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_hold(volatile apb3spi_t* reg){
     return reg->SSGEN_HOLD;
 }
-inline void set_apb3spi_ssgen_hold(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_ssgen_hold(volatile apb3spi_t* reg, uint32_t value){
     reg->SSGEN_HOLD = value;
 }
-inline uint32_t get_apb3spi_ssgen_hold_hold_cycles(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_hold_hold_cycles(volatile apb3spi_t* reg){
    return (reg->SSGEN_HOLD >> 0) & 0xfff;
 }
-inline void set_apb3spi_ssgen_hold_hold_cycles(volatile apb3spi_t* reg, uint16_t value){
+static inline void set_apb3spi_ssgen_hold_hold_cycles(volatile apb3spi_t* reg, uint16_t value){
    reg->SSGEN_HOLD = (reg->SSGEN_HOLD & ~(0xfffU << 0)) | (value << 0);
 }

 //APB3SPI_SSGEN_DISABLE
-inline uint32_t get_apb3spi_ssgen_disable(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_disable(volatile apb3spi_t* reg){
     return reg->SSGEN_DISABLE;
 }
-inline void set_apb3spi_ssgen_disable(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_ssgen_disable(volatile apb3spi_t* reg, uint32_t value){
     reg->SSGEN_DISABLE = value;
 }
-inline uint32_t get_apb3spi_ssgen_disable_disable_cycles(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_disable_disable_cycles(volatile apb3spi_t* reg){
    return (reg->SSGEN_DISABLE >> 0) & 0xfff;
 }
-inline void set_apb3spi_ssgen_disable_disable_cycles(volatile apb3spi_t* reg, uint16_t value){
+static inline void set_apb3spi_ssgen_disable_disable_cycles(volatile apb3spi_t* reg, uint16_t value){
    reg->SSGEN_DISABLE = (reg->SSGEN_DISABLE & ~(0xfffU << 0)) | (value << 0);
 }

 //APB3SPI_SSGEN_ACTIVE_HIGH
-inline uint32_t get_apb3spi_ssgen_active_high(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_active_high(volatile apb3spi_t* reg){
     return reg->SSGEN_ACTIVE_HIGH;
 }
-inline void set_apb3spi_ssgen_active_high(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_ssgen_active_high(volatile apb3spi_t* reg, uint32_t value){
     reg->SSGEN_ACTIVE_HIGH = value;
 }
-inline uint32_t get_apb3spi_ssgen_active_high_spi_cs_active_high(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_ssgen_active_high_spi_cs_active_high(volatile apb3spi_t* reg){
    return (reg->SSGEN_ACTIVE_HIGH >> 0) & 0x1;
 }
-inline void set_apb3spi_ssgen_active_high_spi_cs_active_high(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_ssgen_active_high_spi_cs_active_high(volatile apb3spi_t* reg, uint8_t value){
    reg->SSGEN_ACTIVE_HIGH = (reg->SSGEN_ACTIVE_HIGH & ~(0x1U << 0)) | (value << 0);
 }

 //APB3SPI_XIP_ENABLE
-inline uint32_t get_apb3spi_xip_enable(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_enable(volatile apb3spi_t* reg){
     return reg->XIP_ENABLE;
 }
-inline void set_apb3spi_xip_enable(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_xip_enable(volatile apb3spi_t* reg, uint32_t value){
     reg->XIP_ENABLE = value;
 }
-inline uint32_t get_apb3spi_xip_enable_enable(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_enable_enable(volatile apb3spi_t* reg){
    return (reg->XIP_ENABLE >> 0) & 0x1;
 }
-inline void set_apb3spi_xip_enable_enable(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_enable_enable(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_ENABLE = (reg->XIP_ENABLE & ~(0x1U << 0)) | (value << 0);
 }

 //APB3SPI_XIP_CONFIG
-inline uint32_t get_apb3spi_xip_config(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_config(volatile apb3spi_t* reg){
     return reg->XIP_CONFIG;
 }
-inline void set_apb3spi_xip_config(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_xip_config(volatile apb3spi_t* reg, uint32_t value){
     reg->XIP_CONFIG = value;
 }
-inline uint32_t get_apb3spi_xip_config_instruction(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_config_instruction(volatile apb3spi_t* reg){
    return (reg->XIP_CONFIG >> 0) & 0xff;
 }
-inline void set_apb3spi_xip_config_instruction(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_config_instruction(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_CONFIG = (reg->XIP_CONFIG & ~(0xffU << 0)) | (value << 0);
 }
-inline uint32_t get_apb3spi_xip_config_enable(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_config_enable(volatile apb3spi_t* reg){
    return (reg->XIP_CONFIG >> 8) & 0x1;
 }
-inline void set_apb3spi_xip_config_enable(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_config_enable(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_CONFIG = (reg->XIP_CONFIG & ~(0x1U << 8)) | (value << 8);
 }
-inline uint32_t get_apb3spi_xip_config_dummy_value(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_config_dummy_value(volatile apb3spi_t* reg){
    return (reg->XIP_CONFIG >> 16) & 0xff;
 }
-inline void set_apb3spi_xip_config_dummy_value(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_config_dummy_value(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_CONFIG = (reg->XIP_CONFIG & ~(0xffU << 16)) | (value << 16);
 }
-inline uint32_t get_apb3spi_xip_config_dummy_count(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_config_dummy_count(volatile apb3spi_t* reg){
    return (reg->XIP_CONFIG >> 24) & 0xf;
 }
-inline void set_apb3spi_xip_config_dummy_count(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_config_dummy_count(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_CONFIG = (reg->XIP_CONFIG & ~(0xfU << 24)) | (value << 24);
 }

 //APB3SPI_XIP_MODE
-inline uint32_t get_apb3spi_xip_mode(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_mode(volatile apb3spi_t* reg){
     return reg->XIP_MODE;
 }
-inline void set_apb3spi_xip_mode(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_xip_mode(volatile apb3spi_t* reg, uint32_t value){
     reg->XIP_MODE = value;
 }
-inline uint32_t get_apb3spi_xip_mode_instruction(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_mode_instruction(volatile apb3spi_t* reg){
    return (reg->XIP_MODE >> 0) & 0x3;
 }
-inline void set_apb3spi_xip_mode_instruction(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_mode_instruction(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_MODE = (reg->XIP_MODE & ~(0x3U << 0)) | (value << 0);
 }
-inline uint32_t get_apb3spi_xip_mode_address(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_mode_address(volatile apb3spi_t* reg){
    return (reg->XIP_MODE >> 8) & 0x3;
 }
-inline void set_apb3spi_xip_mode_address(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_mode_address(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_MODE = (reg->XIP_MODE & ~(0x3U << 8)) | (value << 8);
 }
-inline uint32_t get_apb3spi_xip_mode_dummy(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_mode_dummy(volatile apb3spi_t* reg){
    return (reg->XIP_MODE >> 16) & 0x3;
 }
-inline void set_apb3spi_xip_mode_dummy(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_mode_dummy(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_MODE = (reg->XIP_MODE & ~(0x3U << 16)) | (value << 16);
 }
-inline uint32_t get_apb3spi_xip_mode_payload(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_mode_payload(volatile apb3spi_t* reg){
    return (reg->XIP_MODE >> 24) & 0x3;
 }
-inline void set_apb3spi_xip_mode_payload(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_mode_payload(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_MODE = (reg->XIP_MODE & ~(0x3U << 24)) | (value << 24);
 }

 //APB3SPI_XIP_WRITE
-inline void set_apb3spi_xip_write(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_xip_write(volatile apb3spi_t* reg, uint32_t value){
     reg->XIP_WRITE = value;
 }
-inline void set_apb3spi_xip_write_data(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_write_data(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_WRITE = (reg->XIP_WRITE & ~(0xffU << 0)) | (value << 0);
 }

 //APB3SPI_XIP_READ_WRITE
-inline void set_apb3spi_xip_read_write(volatile apb3spi_t* reg, uint32_t value){
+static inline void set_apb3spi_xip_read_write(volatile apb3spi_t* reg, uint32_t value){
     reg->XIP_READ_WRITE = value;
 }
-inline void set_apb3spi_xip_read_write_data(volatile apb3spi_t* reg, uint8_t value){
+static inline void set_apb3spi_xip_read_write_data(volatile apb3spi_t* reg, uint8_t value){
    reg->XIP_READ_WRITE = (reg->XIP_READ_WRITE & ~(0xffU << 0)) | (value << 0);
 }

 //APB3SPI_XIP_READ
-inline uint32_t get_apb3spi_xip_read(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_read(volatile apb3spi_t* reg){
     return reg->XIP_READ;
 }
-inline uint32_t get_apb3spi_xip_read_data(volatile apb3spi_t* reg){
+static inline uint32_t get_apb3spi_xip_read_data(volatile apb3spi_t* reg){
    return (reg->XIP_READ >> 0) & 0xff;
 }

--- a/include/ehrenberg/devices/gen/camera.h
+++ b/include/ehrenberg/devices/gen/camera.h
@@ -49,78 +49,78 @@ typedef struct {
 #define CAMERA_IP_FRAME_FINISHED_IRQ_PEND(V) ((V & CAMERA_IP_FRAME_FINISHED_IRQ_PEND_MASK) << CAMERA_IP_FRAME_FINISHED_IRQ_PEND_OFFS)

 //CAMERA_PIXEL
-inline uint32_t get_camera_pixel(volatile camera_t* reg){
+static inline uint32_t get_camera_pixel(volatile camera_t* reg){
     return reg->PIXEL;
 }
-inline void set_camera_pixel(volatile camera_t* reg, uint32_t value){
+static inline void set_camera_pixel(volatile camera_t* reg, uint32_t value){
     reg->PIXEL = value;
 }
-inline uint32_t get_camera_pixel_data(volatile camera_t* reg){
+static inline uint32_t get_camera_pixel_data(volatile camera_t* reg){
    return (reg->PIXEL >> 0) & 0x7ff;
 }
-inline void set_camera_pixel_data(volatile camera_t* reg, uint16_t value){
+static inline void set_camera_pixel_data(volatile camera_t* reg, uint16_t value){
    reg->PIXEL = (reg->PIXEL & ~(0x7ffU << 0)) | (value << 0);
 }

 //CAMERA_STATUS
-inline uint32_t get_camera_status(volatile camera_t* reg){
+static inline uint32_t get_camera_status(volatile camera_t* reg){
     return reg->STATUS;
 }
-inline uint32_t get_camera_status_pixel_avail(volatile camera_t* reg){
+static inline uint32_t get_camera_status_pixel_avail(volatile camera_t* reg){
    return (reg->STATUS >> 0) & 0x1;
 }

 //CAMERA_CAMERA_CLOCK_CTRL
-inline uint32_t get_camera_camera_clock_ctrl(volatile camera_t* reg){
+static inline uint32_t get_camera_camera_clock_ctrl(volatile camera_t* reg){
     return reg->CAMERA_CLOCK_CTRL;
 }
-inline void set_camera_camera_clock_ctrl(volatile camera_t* reg, uint32_t value){
+static inline void set_camera_camera_clock_ctrl(volatile camera_t* reg, uint32_t value){
     reg->CAMERA_CLOCK_CTRL = value;
 }
-inline uint32_t get_camera_camera_clock_ctrl_divider(volatile camera_t* reg){
+static inline uint32_t get_camera_camera_clock_ctrl_divider(volatile camera_t* reg){
    return (reg->CAMERA_CLOCK_CTRL >> 0) & 0xfffff;
 }
-inline void set_camera_camera_clock_ctrl_divider(volatile camera_t* reg, uint32_t value){
+static inline void set_camera_camera_clock_ctrl_divider(volatile camera_t* reg, uint32_t value){
    reg->CAMERA_CLOCK_CTRL = (reg->CAMERA_CLOCK_CTRL & ~(0xfffffU << 0)) | (value << 0);
 }

 //CAMERA_IE
-inline uint32_t get_camera_ie(volatile camera_t* reg){
+static inline uint32_t get_camera_ie(volatile camera_t* reg){
     return reg->IE;
 }
-inline void set_camera_ie(volatile camera_t* reg, uint32_t value){
+static inline void set_camera_ie(volatile camera_t* reg, uint32_t value){
     reg->IE = value;
 }
-inline uint32_t get_camera_ie_en_pixel_avail(volatile camera_t* reg){
+static inline uint32_t get_camera_ie_en_pixel_avail(volatile camera_t* reg){
    return (reg->IE >> 0) & 0x1;
 }
-inline void set_camera_ie_en_pixel_avail(volatile camera_t* reg, uint8_t value){
+static inline void set_camera_ie_en_pixel_avail(volatile camera_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_camera_ie_en_frame_finished(volatile camera_t* reg){
+static inline uint32_t get_camera_ie_en_frame_finished(volatile camera_t* reg){
    return (reg->IE >> 1) & 0x1;
 }
-inline void set_camera_ie_en_frame_finished(volatile camera_t* reg, uint8_t value){
+static inline void set_camera_ie_en_frame_finished(volatile camera_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 1)) | (value << 1);
 }

 //CAMERA_IP
-inline uint32_t get_camera_ip(volatile camera_t* reg){
+static inline uint32_t get_camera_ip(volatile camera_t* reg){
     return reg->IP;
 }
-inline void set_camera_ip(volatile camera_t* reg, uint32_t value){
+static inline void set_camera_ip(volatile camera_t* reg, uint32_t value){
     reg->IP = value;
 }
-inline uint32_t get_camera_ip_pixel_avail_irq_pend(volatile camera_t* reg){
+static inline uint32_t get_camera_ip_pixel_avail_irq_pend(volatile camera_t* reg){
    return (reg->IP >> 0) & 0x1;
 }
-inline void set_camera_ip_pixel_avail_irq_pend(volatile camera_t* reg, uint8_t value){
+static inline void set_camera_ip_pixel_avail_irq_pend(volatile camera_t* reg, uint8_t value){
    reg->IP = (reg->IP & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_camera_ip_frame_finished_irq_pend(volatile camera_t* reg){
+static inline uint32_t get_camera_ip_frame_finished_irq_pend(volatile camera_t* reg){
    return (reg->IP >> 1) & 0x1;
 }
-inline void set_camera_ip_frame_finished_irq_pend(volatile camera_t* reg, uint8_t value){
+static inline void set_camera_ip_frame_finished_irq_pend(volatile camera_t* reg, uint8_t value){
    reg->IP = (reg->IP & ~(0x1U << 1)) | (value << 1);
 }

--- a/include/ehrenberg/devices/gen/dma.h
+++ b/include/ehrenberg/devices/gen/dma.h
@@ -168,286 +168,286 @@ typedef struct {
 #define DMA_CH1_DST_ADDR_INC_DST_STRIDE(V) ((V & DMA_CH1_DST_ADDR_INC_DST_STRIDE_MASK) << DMA_CH1_DST_ADDR_INC_DST_STRIDE_OFFS)

 //DMA_CONTROL
-inline uint32_t get_dma_control(volatile dma_t* reg){
+static inline uint32_t get_dma_control(volatile dma_t* reg){
     return reg->CONTROL;
 }
-inline void set_dma_control(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_control(volatile dma_t* reg, uint32_t value){
     reg->CONTROL = value;
 }
-inline uint32_t get_dma_control_ch0_enable_transfer(volatile dma_t* reg){
+static inline uint32_t get_dma_control_ch0_enable_transfer(volatile dma_t* reg){
    return (reg->CONTROL >> 0) & 0x1;
 }
-inline void set_dma_control_ch0_enable_transfer(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_control_ch0_enable_transfer(volatile dma_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_dma_control_ch1_enable_transfer(volatile dma_t* reg){
+static inline uint32_t get_dma_control_ch1_enable_transfer(volatile dma_t* reg){
    return (reg->CONTROL >> 1) & 0x1;
 }
-inline void set_dma_control_ch1_enable_transfer(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_control_ch1_enable_transfer(volatile dma_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x1U << 1)) | (value << 1);
 }

 //DMA_STATUS
-inline uint32_t get_dma_status(volatile dma_t* reg){
+static inline uint32_t get_dma_status(volatile dma_t* reg){
     return reg->STATUS;
 }
-inline uint32_t get_dma_status_ch0_busy(volatile dma_t* reg){
+static inline uint32_t get_dma_status_ch0_busy(volatile dma_t* reg){
    return (reg->STATUS >> 0) & 0x1;
 }
-inline uint32_t get_dma_status_ch1_busy(volatile dma_t* reg){
+static inline uint32_t get_dma_status_ch1_busy(volatile dma_t* reg){
    return (reg->STATUS >> 1) & 0x1;
 }

 //DMA_IE
-inline uint32_t get_dma_ie(volatile dma_t* reg){
+static inline uint32_t get_dma_ie(volatile dma_t* reg){
     return reg->IE;
 }
-inline void set_dma_ie(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ie(volatile dma_t* reg, uint32_t value){
     reg->IE = value;
 }
-inline uint32_t get_dma_ie_ch0_ie_seg_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ie_ch0_ie_seg_transfer_done(volatile dma_t* reg){
    return (reg->IE >> 0) & 0x1;
 }
-inline void set_dma_ie_ch0_ie_seg_transfer_done(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ie_ch0_ie_seg_transfer_done(volatile dma_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ie_ch0_ie_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ie_ch0_ie_transfer_done(volatile dma_t* reg){
    return (reg->IE >> 1) & 0x1;
 }
-inline void set_dma_ie_ch0_ie_transfer_done(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ie_ch0_ie_transfer_done(volatile dma_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 1)) | (value << 1);
 }
-inline uint32_t get_dma_ie_ch1_ie_seg_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ie_ch1_ie_seg_transfer_done(volatile dma_t* reg){
    return (reg->IE >> 2) & 0x1;
 }
-inline void set_dma_ie_ch1_ie_seg_transfer_done(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ie_ch1_ie_seg_transfer_done(volatile dma_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 2)) | (value << 2);
 }
-inline uint32_t get_dma_ie_ch1_ie_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ie_ch1_ie_transfer_done(volatile dma_t* reg){
    return (reg->IE >> 3) & 0x1;
 }
-inline void set_dma_ie_ch1_ie_transfer_done(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ie_ch1_ie_transfer_done(volatile dma_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 3)) | (value << 3);
 }

 //DMA_IP
-inline uint32_t get_dma_ip(volatile dma_t* reg){
+static inline uint32_t get_dma_ip(volatile dma_t* reg){
     return reg->IP;
 }
-inline uint32_t get_dma_ip_ch0_ip_seg_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ip_ch0_ip_seg_transfer_done(volatile dma_t* reg){
    return (reg->IP >> 0) & 0x1;
 }
-inline uint32_t get_dma_ip_ch0_ip_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ip_ch0_ip_transfer_done(volatile dma_t* reg){
    return (reg->IP >> 1) & 0x1;
 }
-inline uint32_t get_dma_ip_ch1_ip_seg_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ip_ch1_ip_seg_transfer_done(volatile dma_t* reg){
    return (reg->IP >> 2) & 0x1;
 }
-inline uint32_t get_dma_ip_ch1_ip_transfer_done(volatile dma_t* reg){
+static inline uint32_t get_dma_ip_ch1_ip_transfer_done(volatile dma_t* reg){
    return (reg->IP >> 3) & 0x1;
 }

 //DMA_CH0_EVENT
-inline uint32_t get_dma_ch0_event(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_event(volatile dma_t* reg){
     return reg->CH0_EVENT;
 }
-inline void set_dma_ch0_event(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_event(volatile dma_t* reg, uint32_t value){
     reg->CH0_EVENT = value;
 }
-inline uint32_t get_dma_ch0_event_select(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_event_select(volatile dma_t* reg){
    return (reg->CH0_EVENT >> 0) & 0x1f;
 }
-inline void set_dma_ch0_event_select(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ch0_event_select(volatile dma_t* reg, uint8_t value){
    reg->CH0_EVENT = (reg->CH0_EVENT & ~(0x1fU << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch0_event_combine(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_event_combine(volatile dma_t* reg){
    return (reg->CH0_EVENT >> 31) & 0x1;
 }
-inline void set_dma_ch0_event_combine(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ch0_event_combine(volatile dma_t* reg, uint8_t value){
    reg->CH0_EVENT = (reg->CH0_EVENT & ~(0x1U << 31)) | (value << 31);
 }

 //DMA_CH0_TRANSFER
-inline uint32_t get_dma_ch0_transfer(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_transfer(volatile dma_t* reg){
     return reg->CH0_TRANSFER;
 }
-inline void set_dma_ch0_transfer(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_transfer(volatile dma_t* reg, uint32_t value){
     reg->CH0_TRANSFER = value;
 }
-inline uint32_t get_dma_ch0_transfer_width(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_transfer_width(volatile dma_t* reg){
    return (reg->CH0_TRANSFER >> 0) & 0x3;
 }
-inline void set_dma_ch0_transfer_width(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ch0_transfer_width(volatile dma_t* reg, uint8_t value){
    reg->CH0_TRANSFER = (reg->CH0_TRANSFER & ~(0x3U << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch0_transfer_seg_length(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_transfer_seg_length(volatile dma_t* reg){
    return (reg->CH0_TRANSFER >> 2) & 0x3ff;
 }
-inline void set_dma_ch0_transfer_seg_length(volatile dma_t* reg, uint16_t value){
+static inline void set_dma_ch0_transfer_seg_length(volatile dma_t* reg, uint16_t value){
    reg->CH0_TRANSFER = (reg->CH0_TRANSFER & ~(0x3ffU << 2)) | (value << 2);
 }
-inline uint32_t get_dma_ch0_transfer_seg_count(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_transfer_seg_count(volatile dma_t* reg){
    return (reg->CH0_TRANSFER >> 12) & 0xfffff;
 }
-inline void set_dma_ch0_transfer_seg_count(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_transfer_seg_count(volatile dma_t* reg, uint32_t value){
    reg->CH0_TRANSFER = (reg->CH0_TRANSFER & ~(0xfffffU << 12)) | (value << 12);
 }

 //DMA_CH0_SRC_START_ADDR
-inline uint32_t get_dma_ch0_src_start_addr(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_src_start_addr(volatile dma_t* reg){
    return (reg->CH0_SRC_START_ADDR >> 0) & 0xffffffff;
 }
-inline void set_dma_ch0_src_start_addr(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_src_start_addr(volatile dma_t* reg, uint32_t value){
    reg->CH0_SRC_START_ADDR = (reg->CH0_SRC_START_ADDR & ~(0xffffffffU << 0)) | (value << 0);
 }

 //DMA_CH0_SRC_ADDR_INC
-inline uint32_t get_dma_ch0_src_addr_inc(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_src_addr_inc(volatile dma_t* reg){
     return reg->CH0_SRC_ADDR_INC;
 }
-inline void set_dma_ch0_src_addr_inc(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_src_addr_inc(volatile dma_t* reg, uint32_t value){
     reg->CH0_SRC_ADDR_INC = value;
 }
-inline uint32_t get_dma_ch0_src_addr_inc_src_step(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_src_addr_inc_src_step(volatile dma_t* reg){
    return (reg->CH0_SRC_ADDR_INC >> 0) & 0xfff;
 }
-inline void set_dma_ch0_src_addr_inc_src_step(volatile dma_t* reg, uint16_t value){
+static inline void set_dma_ch0_src_addr_inc_src_step(volatile dma_t* reg, uint16_t value){
    reg->CH0_SRC_ADDR_INC = (reg->CH0_SRC_ADDR_INC & ~(0xfffU << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch0_src_addr_inc_src_stride(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_src_addr_inc_src_stride(volatile dma_t* reg){
    return (reg->CH0_SRC_ADDR_INC >> 12) & 0xfffff;
 }
-inline void set_dma_ch0_src_addr_inc_src_stride(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_src_addr_inc_src_stride(volatile dma_t* reg, uint32_t value){
    reg->CH0_SRC_ADDR_INC = (reg->CH0_SRC_ADDR_INC & ~(0xfffffU << 12)) | (value << 12);
 }

 //DMA_CH0_DST_START_ADDR
-inline uint32_t get_dma_ch0_dst_start_addr(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_dst_start_addr(volatile dma_t* reg){
    return (reg->CH0_DST_START_ADDR >> 0) & 0xffffffff;
 }
-inline void set_dma_ch0_dst_start_addr(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_dst_start_addr(volatile dma_t* reg, uint32_t value){
    reg->CH0_DST_START_ADDR = (reg->CH0_DST_START_ADDR & ~(0xffffffffU << 0)) | (value << 0);
 }

 //DMA_CH0_DST_ADDR_INC
-inline uint32_t get_dma_ch0_dst_addr_inc(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_dst_addr_inc(volatile dma_t* reg){
     return reg->CH0_DST_ADDR_INC;
 }
-inline void set_dma_ch0_dst_addr_inc(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_dst_addr_inc(volatile dma_t* reg, uint32_t value){
     reg->CH0_DST_ADDR_INC = value;
 }
-inline uint32_t get_dma_ch0_dst_addr_inc_dst_step(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_dst_addr_inc_dst_step(volatile dma_t* reg){
    return (reg->CH0_DST_ADDR_INC >> 0) & 0xfff;
 }
-inline void set_dma_ch0_dst_addr_inc_dst_step(volatile dma_t* reg, uint16_t value){
+static inline void set_dma_ch0_dst_addr_inc_dst_step(volatile dma_t* reg, uint16_t value){
    reg->CH0_DST_ADDR_INC = (reg->CH0_DST_ADDR_INC & ~(0xfffU << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch0_dst_addr_inc_dst_stride(volatile dma_t* reg){
+static inline uint32_t get_dma_ch0_dst_addr_inc_dst_stride(volatile dma_t* reg){
    return (reg->CH0_DST_ADDR_INC >> 12) & 0xfffff;
 }
-inline void set_dma_ch0_dst_addr_inc_dst_stride(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch0_dst_addr_inc_dst_stride(volatile dma_t* reg, uint32_t value){
    reg->CH0_DST_ADDR_INC = (reg->CH0_DST_ADDR_INC & ~(0xfffffU << 12)) | (value << 12);
 }

 //DMA_CH1_EVENT
-inline uint32_t get_dma_ch1_event(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_event(volatile dma_t* reg){
     return reg->CH1_EVENT;
 }
-inline void set_dma_ch1_event(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_event(volatile dma_t* reg, uint32_t value){
     reg->CH1_EVENT = value;
 }
-inline uint32_t get_dma_ch1_event_select(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_event_select(volatile dma_t* reg){
    return (reg->CH1_EVENT >> 0) & 0x1f;
 }
-inline void set_dma_ch1_event_select(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ch1_event_select(volatile dma_t* reg, uint8_t value){
    reg->CH1_EVENT = (reg->CH1_EVENT & ~(0x1fU << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch1_event_combine(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_event_combine(volatile dma_t* reg){
    return (reg->CH1_EVENT >> 31) & 0x1;
 }
-inline void set_dma_ch1_event_combine(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ch1_event_combine(volatile dma_t* reg, uint8_t value){
    reg->CH1_EVENT = (reg->CH1_EVENT & ~(0x1U << 31)) | (value << 31);
 }

 //DMA_CH1_TRANSFER
-inline uint32_t get_dma_ch1_transfer(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_transfer(volatile dma_t* reg){
     return reg->CH1_TRANSFER;
 }
-inline void set_dma_ch1_transfer(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_transfer(volatile dma_t* reg, uint32_t value){
     reg->CH1_TRANSFER = value;
 }
-inline uint32_t get_dma_ch1_transfer_width(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_transfer_width(volatile dma_t* reg){
    return (reg->CH1_TRANSFER >> 0) & 0x3;
 }
-inline void set_dma_ch1_transfer_width(volatile dma_t* reg, uint8_t value){
+static inline void set_dma_ch1_transfer_width(volatile dma_t* reg, uint8_t value){
    reg->CH1_TRANSFER = (reg->CH1_TRANSFER & ~(0x3U << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch1_transfer_seg_length(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_transfer_seg_length(volatile dma_t* reg){
    return (reg->CH1_TRANSFER >> 2) & 0x3ff;
 }
-inline void set_dma_ch1_transfer_seg_length(volatile dma_t* reg, uint16_t value){
+static inline void set_dma_ch1_transfer_seg_length(volatile dma_t* reg, uint16_t value){
    reg->CH1_TRANSFER = (reg->CH1_TRANSFER & ~(0x3ffU << 2)) | (value << 2);
 }
-inline uint32_t get_dma_ch1_transfer_seg_count(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_transfer_seg_count(volatile dma_t* reg){
    return (reg->CH1_TRANSFER >> 12) & 0xfffff;
 }
-inline void set_dma_ch1_transfer_seg_count(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_transfer_seg_count(volatile dma_t* reg, uint32_t value){
    reg->CH1_TRANSFER = (reg->CH1_TRANSFER & ~(0xfffffU << 12)) | (value << 12);
 }

 //DMA_CH1_SRC_START_ADDR
-inline uint32_t get_dma_ch1_src_start_addr(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_src_start_addr(volatile dma_t* reg){
    return (reg->CH1_SRC_START_ADDR >> 0) & 0xffffffff;
 }
-inline void set_dma_ch1_src_start_addr(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_src_start_addr(volatile dma_t* reg, uint32_t value){
    reg->CH1_SRC_START_ADDR = (reg->CH1_SRC_START_ADDR & ~(0xffffffffU << 0)) | (value << 0);
 }

 //DMA_CH1_SRC_ADDR_INC
-inline uint32_t get_dma_ch1_src_addr_inc(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_src_addr_inc(volatile dma_t* reg){
     return reg->CH1_SRC_ADDR_INC;
 }
-inline void set_dma_ch1_src_addr_inc(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_src_addr_inc(volatile dma_t* reg, uint32_t value){
     reg->CH1_SRC_ADDR_INC = value;
 }
-inline uint32_t get_dma_ch1_src_addr_inc_src_step(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_src_addr_inc_src_step(volatile dma_t* reg){
    return (reg->CH1_SRC_ADDR_INC >> 0) & 0xfff;
 }
-inline void set_dma_ch1_src_addr_inc_src_step(volatile dma_t* reg, uint16_t value){
+static inline void set_dma_ch1_src_addr_inc_src_step(volatile dma_t* reg, uint16_t value){
    reg->CH1_SRC_ADDR_INC = (reg->CH1_SRC_ADDR_INC & ~(0xfffU << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch1_src_addr_inc_src_stride(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_src_addr_inc_src_stride(volatile dma_t* reg){
    return (reg->CH1_SRC_ADDR_INC >> 12) & 0xfffff;
 }
-inline void set_dma_ch1_src_addr_inc_src_stride(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_src_addr_inc_src_stride(volatile dma_t* reg, uint32_t value){
    reg->CH1_SRC_ADDR_INC = (reg->CH1_SRC_ADDR_INC & ~(0xfffffU << 12)) | (value << 12);
 }

 //DMA_CH1_DST_START_ADDR
-inline uint32_t get_dma_ch1_dst_start_addr(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_dst_start_addr(volatile dma_t* reg){
    return (reg->CH1_DST_START_ADDR >> 0) & 0xffffffff;
 }
-inline void set_dma_ch1_dst_start_addr(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_dst_start_addr(volatile dma_t* reg, uint32_t value){
    reg->CH1_DST_START_ADDR = (reg->CH1_DST_START_ADDR & ~(0xffffffffU << 0)) | (value << 0);
 }

 //DMA_CH1_DST_ADDR_INC
-inline uint32_t get_dma_ch1_dst_addr_inc(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_dst_addr_inc(volatile dma_t* reg){
     return reg->CH1_DST_ADDR_INC;
 }
-inline void set_dma_ch1_dst_addr_inc(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_dst_addr_inc(volatile dma_t* reg, uint32_t value){
     reg->CH1_DST_ADDR_INC = value;
 }
-inline uint32_t get_dma_ch1_dst_addr_inc_dst_step(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_dst_addr_inc_dst_step(volatile dma_t* reg){
    return (reg->CH1_DST_ADDR_INC >> 0) & 0xfff;
 }
-inline void set_dma_ch1_dst_addr_inc_dst_step(volatile dma_t* reg, uint16_t value){
+static inline void set_dma_ch1_dst_addr_inc_dst_step(volatile dma_t* reg, uint16_t value){
    reg->CH1_DST_ADDR_INC = (reg->CH1_DST_ADDR_INC & ~(0xfffU << 0)) | (value << 0);
 }
-inline uint32_t get_dma_ch1_dst_addr_inc_dst_stride(volatile dma_t* reg){
+static inline uint32_t get_dma_ch1_dst_addr_inc_dst_stride(volatile dma_t* reg){
    return (reg->CH1_DST_ADDR_INC >> 12) & 0xfffff;
 }
-inline void set_dma_ch1_dst_addr_inc_dst_stride(volatile dma_t* reg, uint32_t value){
+static inline void set_dma_ch1_dst_addr_inc_dst_stride(volatile dma_t* reg, uint32_t value){
    reg->CH1_DST_ADDR_INC = (reg->CH1_DST_ADDR_INC & ~(0xfffffU << 12)) | (value << 12);
 }

--- a/include/ehrenberg/devices/gen/gpio.h
+++ b/include/ehrenberg/devices/gen/gpio.h
@@ -56,63 +56,63 @@ typedef struct {
 #define GPIO_BOOT_SEL(V) ((V & GPIO_BOOT_SEL_MASK) << GPIO_BOOT_SEL_OFFS)

 //GPIO_VALUE
-inline uint32_t get_gpio_value(volatile gpio_t* reg){
+static inline uint32_t get_gpio_value(volatile gpio_t* reg){
    return (reg->VALUE >> 0) & 0xffffffff;
 }

 //GPIO_WRITE
-inline uint32_t get_gpio_write(volatile gpio_t* reg){
+static inline uint32_t get_gpio_write(volatile gpio_t* reg){
    return (reg->WRITE >> 0) & 0xffffffff;
 }
-inline void set_gpio_write(volatile gpio_t* reg, uint32_t value){
+static inline void set_gpio_write(volatile gpio_t* reg, uint32_t value){
    reg->WRITE = (reg->WRITE & ~(0xffffffffU << 0)) | (value << 0);
 }

 //GPIO_WRITEENABLE
-inline uint32_t get_gpio_writeEnable(volatile gpio_t* reg){
+static inline uint32_t get_gpio_writeEnable(volatile gpio_t* reg){
    return (reg->WRITEENABLE >> 0) & 0xffffffff;
 }
-inline void set_gpio_writeEnable(volatile gpio_t* reg, uint32_t value){
+static inline void set_gpio_writeEnable(volatile gpio_t* reg, uint32_t value){
    reg->WRITEENABLE = (reg->WRITEENABLE & ~(0xffffffffU << 0)) | (value << 0);
 }

 //GPIO_IE
-inline uint32_t get_gpio_ie(volatile gpio_t* reg){
+static inline uint32_t get_gpio_ie(volatile gpio_t* reg){
    return (reg->IE >> 0) & 0xffffffff;
 }
-inline void set_gpio_ie(volatile gpio_t* reg, uint32_t value){
+static inline void set_gpio_ie(volatile gpio_t* reg, uint32_t value){
    reg->IE = (reg->IE & ~(0xffffffffU << 0)) | (value << 0);
 }

 //GPIO_IP
-inline uint32_t get_gpio_ip(volatile gpio_t* reg){
+static inline uint32_t get_gpio_ip(volatile gpio_t* reg){
    return (reg->IP >> 0) & 0xffffffff;
 }
-inline void set_gpio_ip(volatile gpio_t* reg, uint32_t value){
+static inline void set_gpio_ip(volatile gpio_t* reg, uint32_t value){
    reg->IP = (reg->IP & ~(0xffffffffU << 0)) | (value << 0);
 }

 //GPIO_IRQ_TRIGGER
-inline uint32_t get_gpio_irq_trigger(volatile gpio_t* reg){
+static inline uint32_t get_gpio_irq_trigger(volatile gpio_t* reg){
    return (reg->IRQ_TRIGGER >> 0) & 0xffffffff;
 }
-inline void set_gpio_irq_trigger(volatile gpio_t* reg, uint32_t value){
+static inline void set_gpio_irq_trigger(volatile gpio_t* reg, uint32_t value){
    reg->IRQ_TRIGGER = (reg->IRQ_TRIGGER & ~(0xffffffffU << 0)) | (value << 0);
 }

 //GPIO_IRQ_TYPE
-inline uint32_t get_gpio_irq_type(volatile gpio_t* reg){
+static inline uint32_t get_gpio_irq_type(volatile gpio_t* reg){
    return (reg->IRQ_TYPE >> 0) & 0xffffffff;
 }
-inline void set_gpio_irq_type(volatile gpio_t* reg, uint32_t value){
+static inline void set_gpio_irq_type(volatile gpio_t* reg, uint32_t value){
    reg->IRQ_TYPE = (reg->IRQ_TYPE & ~(0xffffffffU << 0)) | (value << 0);
 }

 //GPIO_BOOT_SEL
-inline uint32_t get_gpio_boot_sel(volatile gpio_t* reg){
+static inline uint32_t get_gpio_boot_sel(volatile gpio_t* reg){
     return reg->BOOT_SEL;
 }
-inline uint32_t get_gpio_boot_sel_bootSel(volatile gpio_t* reg){
+static inline uint32_t get_gpio_boot_sel_bootSel(volatile gpio_t* reg){
    return (reg->BOOT_SEL >> 0) & 0x7;
 }

--- a/include/ehrenberg/devices/gen/i2s.h
+++ b/include/ehrenberg/devices/gen/i2s.h
@@ -96,132 +96,132 @@ typedef struct {
 #define I2S_IP_RIGHT_SAMPLE_AVAIL(V) ((V & I2S_IP_RIGHT_SAMPLE_AVAIL_MASK) << I2S_IP_RIGHT_SAMPLE_AVAIL_OFFS)

 //I2S_LEFT_CH
-inline uint32_t get_i2s_left_ch(volatile i2s_t* reg){
+static inline uint32_t get_i2s_left_ch(volatile i2s_t* reg){
    return (reg->LEFT_CH >> 0) & 0xffffffff;
 }

 //I2S_RIGHT_CH
-inline uint32_t get_i2s_right_ch(volatile i2s_t* reg){
+static inline uint32_t get_i2s_right_ch(volatile i2s_t* reg){
    return (reg->RIGHT_CH >> 0) & 0xffffffff;
 }

 //I2S_CONTROL
-inline uint32_t get_i2s_control(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control(volatile i2s_t* reg){
     return reg->CONTROL;
 }
-inline void set_i2s_control(volatile i2s_t* reg, uint32_t value){
+static inline void set_i2s_control(volatile i2s_t* reg, uint32_t value){
     reg->CONTROL = value;
 }
-inline uint32_t get_i2s_control_mode(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control_mode(volatile i2s_t* reg){
    return (reg->CONTROL >> 0) & 0x3;
 }
-inline void set_i2s_control_mode(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_control_mode(volatile i2s_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x3U << 0)) | (value << 0);
 }
-inline uint32_t get_i2s_control_disable_left(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control_disable_left(volatile i2s_t* reg){
    return (reg->CONTROL >> 2) & 0x1;
 }
-inline void set_i2s_control_disable_left(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_control_disable_left(volatile i2s_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x1U << 2)) | (value << 2);
 }
-inline uint32_t get_i2s_control_disable_right(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control_disable_right(volatile i2s_t* reg){
    return (reg->CONTROL >> 3) & 0x1;
 }
-inline void set_i2s_control_disable_right(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_control_disable_right(volatile i2s_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x1U << 3)) | (value << 3);
 }
-inline uint32_t get_i2s_control_is_master(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control_is_master(volatile i2s_t* reg){
    return (reg->CONTROL >> 4) & 0x1;
 }
-inline void set_i2s_control_is_master(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_control_is_master(volatile i2s_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x1U << 4)) | (value << 4);
 }
-inline uint32_t get_i2s_control_sample_size(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control_sample_size(volatile i2s_t* reg){
    return (reg->CONTROL >> 5) & 0x3;
 }
-inline void set_i2s_control_sample_size(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_control_sample_size(volatile i2s_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x3U << 5)) | (value << 5);
 }
-inline uint32_t get_i2s_control_pdm_scale(volatile i2s_t* reg){
+static inline uint32_t get_i2s_control_pdm_scale(volatile i2s_t* reg){
    return (reg->CONTROL >> 7) & 0x7;
 }
-inline void set_i2s_control_pdm_scale(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_control_pdm_scale(volatile i2s_t* reg, uint8_t value){
    reg->CONTROL = (reg->CONTROL & ~(0x7U << 7)) | (value << 7);
 }

 //I2S_STATUS
-inline uint32_t get_i2s_status(volatile i2s_t* reg){
+static inline uint32_t get_i2s_status(volatile i2s_t* reg){
     return reg->STATUS;
 }
-inline uint32_t get_i2s_status_enabled(volatile i2s_t* reg){
+static inline uint32_t get_i2s_status_enabled(volatile i2s_t* reg){
    return (reg->STATUS >> 0) & 0x1;
 }
-inline uint32_t get_i2s_status_active(volatile i2s_t* reg){
+static inline uint32_t get_i2s_status_active(volatile i2s_t* reg){
    return (reg->STATUS >> 1) & 0x1;
 }
-inline uint32_t get_i2s_status_left_avail(volatile i2s_t* reg){
+static inline uint32_t get_i2s_status_left_avail(volatile i2s_t* reg){
    return (reg->STATUS >> 2) & 0x1;
 }
-inline uint32_t get_i2s_status_right_avail(volatile i2s_t* reg){
+static inline uint32_t get_i2s_status_right_avail(volatile i2s_t* reg){
    return (reg->STATUS >> 3) & 0x1;
 }

 //I2S_I2S_CLOCK_CTRL
-inline uint32_t get_i2s_i2s_clock_ctrl(volatile i2s_t* reg){
+static inline uint32_t get_i2s_i2s_clock_ctrl(volatile i2s_t* reg){
     return reg->I2S_CLOCK_CTRL;
 }
-inline void set_i2s_i2s_clock_ctrl(volatile i2s_t* reg, uint32_t value){
+static inline void set_i2s_i2s_clock_ctrl(volatile i2s_t* reg, uint32_t value){
     reg->I2S_CLOCK_CTRL = value;
 }
-inline uint32_t get_i2s_i2s_clock_ctrl_divider(volatile i2s_t* reg){
+static inline uint32_t get_i2s_i2s_clock_ctrl_divider(volatile i2s_t* reg){
    return (reg->I2S_CLOCK_CTRL >> 0) & 0xfffff;
 }
-inline void set_i2s_i2s_clock_ctrl_divider(volatile i2s_t* reg, uint32_t value){
+static inline void set_i2s_i2s_clock_ctrl_divider(volatile i2s_t* reg, uint32_t value){
    reg->I2S_CLOCK_CTRL = (reg->I2S_CLOCK_CTRL & ~(0xfffffU << 0)) | (value << 0);
 }

 //I2S_PDM_CLOCK_CTRL
-inline uint32_t get_i2s_pdm_clock_ctrl(volatile i2s_t* reg){
+static inline uint32_t get_i2s_pdm_clock_ctrl(volatile i2s_t* reg){
     return reg->PDM_CLOCK_CTRL;
 }
-inline void set_i2s_pdm_clock_ctrl(volatile i2s_t* reg, uint32_t value){
+static inline void set_i2s_pdm_clock_ctrl(volatile i2s_t* reg, uint32_t value){
     reg->PDM_CLOCK_CTRL = value;
 }
-inline uint32_t get_i2s_pdm_clock_ctrl_divider(volatile i2s_t* reg){
+static inline uint32_t get_i2s_pdm_clock_ctrl_divider(volatile i2s_t* reg){
    return (reg->PDM_CLOCK_CTRL >> 0) & 0x3ff;
 }
-inline void set_i2s_pdm_clock_ctrl_divider(volatile i2s_t* reg, uint16_t value){
+static inline void set_i2s_pdm_clock_ctrl_divider(volatile i2s_t* reg, uint16_t value){
    reg->PDM_CLOCK_CTRL = (reg->PDM_CLOCK_CTRL & ~(0x3ffU << 0)) | (value << 0);
 }

 //I2S_IE
-inline uint32_t get_i2s_ie(volatile i2s_t* reg){
+static inline uint32_t get_i2s_ie(volatile i2s_t* reg){
     return reg->IE;
 }
-inline void set_i2s_ie(volatile i2s_t* reg, uint32_t value){
+static inline void set_i2s_ie(volatile i2s_t* reg, uint32_t value){
     reg->IE = value;
 }
-inline uint32_t get_i2s_ie_en_left_sample_avail(volatile i2s_t* reg){
+static inline uint32_t get_i2s_ie_en_left_sample_avail(volatile i2s_t* reg){
    return (reg->IE >> 0) & 0x1;
 }
-inline void set_i2s_ie_en_left_sample_avail(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_ie_en_left_sample_avail(volatile i2s_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_i2s_ie_en_right_sample_avail(volatile i2s_t* reg){
+static inline uint32_t get_i2s_ie_en_right_sample_avail(volatile i2s_t* reg){
    return (reg->IE >> 1) & 0x1;
 }
-inline void set_i2s_ie_en_right_sample_avail(volatile i2s_t* reg, uint8_t value){
+static inline void set_i2s_ie_en_right_sample_avail(volatile i2s_t* reg, uint8_t value){
    reg->IE = (reg->IE & ~(0x1U << 1)) | (value << 1);
 }

 //I2S_IP
-inline uint32_t get_i2s_ip(volatile i2s_t* reg){
+static inline uint32_t get_i2s_ip(volatile i2s_t* reg){
     return reg->IP;
 }
-inline uint32_t get_i2s_ip_left_sample_avail(volatile i2s_t* reg){
+static inline uint32_t get_i2s_ip_left_sample_avail(volatile i2s_t* reg){
    return (reg->IP >> 0) & 0x1;
 }
-inline uint32_t get_i2s_ip_right_sample_avail(volatile i2s_t* reg){
+static inline uint32_t get_i2s_ip_right_sample_avail(volatile i2s_t* reg){
    return (reg->IP >> 1) & 0x1;
 }

--- a/include/ehrenberg/devices/gen/msgif.h
+++ b/include/ehrenberg/devices/gen/msgif.h
@@ -94,103 +94,103 @@ typedef struct {
 #define MSGIF_REG_PAYLOAD_7(V) ((V & MSGIF_REG_PAYLOAD_7_MASK) << MSGIF_REG_PAYLOAD_7_OFFS)

 //MSGIF_REG_SEND
-inline void set_msgif_REG_SEND(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_SEND(volatile msgif_t* reg, uint32_t value){
     reg->REG_SEND = value;
 }
-inline void set_msgif_REG_SEND_SEND(volatile msgif_t* reg, uint8_t value){
+static inline void set_msgif_REG_SEND_SEND(volatile msgif_t* reg, uint8_t value){
    reg->REG_SEND = (reg->REG_SEND & ~(0x1U << 0)) | (value << 0);
 }

 //MSGIF_REG_HEADER
-inline uint32_t get_msgif_REG_HEADER(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_HEADER(volatile msgif_t* reg){
     return reg->REG_HEADER;
 }
-inline void set_msgif_REG_HEADER(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_HEADER(volatile msgif_t* reg, uint32_t value){
     reg->REG_HEADER = value;
 }
-inline uint32_t get_msgif_REG_HEADER_RECIPIENT_COMPONENT(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_HEADER_RECIPIENT_COMPONENT(volatile msgif_t* reg){
    return (reg->REG_HEADER >> 0) & 0x7;
 }
-inline void set_msgif_REG_HEADER_RECIPIENT_COMPONENT(volatile msgif_t* reg, uint8_t value){
+static inline void set_msgif_REG_HEADER_RECIPIENT_COMPONENT(volatile msgif_t* reg, uint8_t value){
    reg->REG_HEADER = (reg->REG_HEADER & ~(0x7U << 0)) | (value << 0);
 }
-inline uint32_t get_msgif_REG_HEADER_RECIPIENT_CLUSTER(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_HEADER_RECIPIENT_CLUSTER(volatile msgif_t* reg){
    return (reg->REG_HEADER >> 3) & 0x3;
 }
-inline void set_msgif_REG_HEADER_RECIPIENT_CLUSTER(volatile msgif_t* reg, uint8_t value){
+static inline void set_msgif_REG_HEADER_RECIPIENT_CLUSTER(volatile msgif_t* reg, uint8_t value){
    reg->REG_HEADER = (reg->REG_HEADER & ~(0x3U << 3)) | (value << 3);
 }
-inline uint32_t get_msgif_REG_HEADER_MESSAGE_LENGTH(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_HEADER_MESSAGE_LENGTH(volatile msgif_t* reg){
    return (reg->REG_HEADER >> 5) & 0xf;
 }
-inline void set_msgif_REG_HEADER_MESSAGE_LENGTH(volatile msgif_t* reg, uint8_t value){
+static inline void set_msgif_REG_HEADER_MESSAGE_LENGTH(volatile msgif_t* reg, uint8_t value){
    reg->REG_HEADER = (reg->REG_HEADER & ~(0xfU << 5)) | (value << 5);
 }
-inline uint32_t get_msgif_REG_HEADER_MESSAGE_ID(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_HEADER_MESSAGE_ID(volatile msgif_t* reg){
    return (reg->REG_HEADER >> 9) & 0xf;
 }
-inline void set_msgif_REG_HEADER_MESSAGE_ID(volatile msgif_t* reg, uint8_t value){
+static inline void set_msgif_REG_HEADER_MESSAGE_ID(volatile msgif_t* reg, uint8_t value){
    reg->REG_HEADER = (reg->REG_HEADER & ~(0xfU << 9)) | (value << 9);
 }

 //MSGIF_REG_ACK
-inline void set_msgif_REG_ACK(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_ACK(volatile msgif_t* reg, uint32_t value){
     reg->REG_ACK = value;
 }
-inline void set_msgif_REG_ACK_ACK(volatile msgif_t* reg, uint8_t value){
+static inline void set_msgif_REG_ACK_ACK(volatile msgif_t* reg, uint8_t value){
    reg->REG_ACK = (reg->REG_ACK & ~(0x1U << 0)) | (value << 0);
 }

 //MSGIF_REG_RECV_ID
-inline uint32_t get_msgif_REG_RECV_ID(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_RECV_ID(volatile msgif_t* reg){
     return reg->REG_RECV_ID;
 }
-inline uint32_t get_msgif_REG_RECV_ID_RECV_ID(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_RECV_ID_RECV_ID(volatile msgif_t* reg){
    return (reg->REG_RECV_ID >> 0) & 0xf;
 }

 //MSGIF_REG_RECV_PAYLOAD
-inline uint32_t get_msgif_REG_RECV_PAYLOAD(volatile msgif_t* reg){
+static inline uint32_t get_msgif_REG_RECV_PAYLOAD(volatile msgif_t* reg){
    return (reg->REG_RECV_PAYLOAD >> 0) & 0xffffffff;
 }

 //MSGIF_REG_PAYLOAD_0
-inline void set_msgif_REG_PAYLOAD_0(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_0(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_0 = (reg->REG_PAYLOAD_0 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_1
-inline void set_msgif_REG_PAYLOAD_1(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_1(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_1 = (reg->REG_PAYLOAD_1 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_2
-inline void set_msgif_REG_PAYLOAD_2(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_2(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_2 = (reg->REG_PAYLOAD_2 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_3
-inline void set_msgif_REG_PAYLOAD_3(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_3(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_3 = (reg->REG_PAYLOAD_3 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_4
-inline void set_msgif_REG_PAYLOAD_4(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_4(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_4 = (reg->REG_PAYLOAD_4 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_5
-inline void set_msgif_REG_PAYLOAD_5(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_5(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_5 = (reg->REG_PAYLOAD_5 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_6
-inline void set_msgif_REG_PAYLOAD_6(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_6(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_6 = (reg->REG_PAYLOAD_6 & ~(0xffffffffU << 0)) | (value << 0);
 }

 //MSGIF_REG_PAYLOAD_7
-inline void set_msgif_REG_PAYLOAD_7(volatile msgif_t* reg, uint32_t value){
+static inline void set_msgif_REG_PAYLOAD_7(volatile msgif_t* reg, uint32_t value){
    reg->REG_PAYLOAD_7 = (reg->REG_PAYLOAD_7 & ~(0xffffffffU << 0)) | (value << 0);
 }

--- a/include/ehrenberg/devices/gen/timercounter.h
+++ b/include/ehrenberg/devices/gen/timercounter.h
@@ -59,82 +59,82 @@ typedef struct {
 #define TIMERCOUNTER_T1_VALUE(V) ((V & TIMERCOUNTER_T1_VALUE_MASK) << TIMERCOUNTER_T1_VALUE_OFFS)

 //TIMERCOUNTER_PRESCALER
-inline uint32_t get_timercounter_prescaler(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_prescaler(volatile timercounter_t* reg){
     return reg->PRESCALER;
 }
-inline void set_timercounter_prescaler(volatile timercounter_t* reg, uint32_t value){
+static inline void set_timercounter_prescaler(volatile timercounter_t* reg, uint32_t value){
     reg->PRESCALER = value;
 }
-inline uint32_t get_timercounter_prescaler_limit(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_prescaler_limit(volatile timercounter_t* reg){
    return (reg->PRESCALER >> 0) & 0xffff;
 }
-inline void set_timercounter_prescaler_limit(volatile timercounter_t* reg, uint16_t value){
+static inline void set_timercounter_prescaler_limit(volatile timercounter_t* reg, uint16_t value){
    reg->PRESCALER = (reg->PRESCALER & ~(0xffffU << 0)) | (value << 0);
 }

 //TIMERCOUNTER_T0_CTRL
-inline uint32_t get_timercounter_t0_ctrl(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t0_ctrl(volatile timercounter_t* reg){
     return reg->T0_CTRL;
 }
-inline void set_timercounter_t0_ctrl(volatile timercounter_t* reg, uint32_t value){
+static inline void set_timercounter_t0_ctrl(volatile timercounter_t* reg, uint32_t value){
     reg->T0_CTRL = value;
 }
-inline uint32_t get_timercounter_t0_ctrl_enable(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t0_ctrl_enable(volatile timercounter_t* reg){
    return (reg->T0_CTRL >> 0) & 0x7;
 }
-inline void set_timercounter_t0_ctrl_enable(volatile timercounter_t* reg, uint8_t value){
+static inline void set_timercounter_t0_ctrl_enable(volatile timercounter_t* reg, uint8_t value){
    reg->T0_CTRL = (reg->T0_CTRL & ~(0x7U << 0)) | (value << 0);
 }
-inline uint32_t get_timercounter_t0_ctrl_clear(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t0_ctrl_clear(volatile timercounter_t* reg){
    return (reg->T0_CTRL >> 3) & 0x3;
 }
-inline void set_timercounter_t0_ctrl_clear(volatile timercounter_t* reg, uint8_t value){
+static inline void set_timercounter_t0_ctrl_clear(volatile timercounter_t* reg, uint8_t value){
    reg->T0_CTRL = (reg->T0_CTRL & ~(0x3U << 3)) | (value << 3);
 }

 //TIMERCOUNTER_T0_OVERFLOW
-inline uint32_t get_timercounter_t0_overflow(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t0_overflow(volatile timercounter_t* reg){
    return (reg->T0_OVERFLOW >> 0) & 0xffffffff;
 }
-inline void set_timercounter_t0_overflow(volatile timercounter_t* reg, uint32_t value){
+static inline void set_timercounter_t0_overflow(volatile timercounter_t* reg, uint32_t value){
    reg->T0_OVERFLOW = (reg->T0_OVERFLOW & ~(0xffffffffU << 0)) | (value << 0);
 }

 //TIMERCOUNTER_T0_VALUE
-inline uint32_t get_timercounter_t0_value(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t0_value(volatile timercounter_t* reg){
    return (reg->T0_VALUE >> 0) & 0xffffffff;
 }

 //TIMERCOUNTER_T1_CTRL
-inline uint32_t get_timercounter_t1_ctrl(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t1_ctrl(volatile timercounter_t* reg){
     return reg->T1_CTRL;
 }
-inline void set_timercounter_t1_ctrl(volatile timercounter_t* reg, uint32_t value){
+static inline void set_timercounter_t1_ctrl(volatile timercounter_t* reg, uint32_t value){
     reg->T1_CTRL = value;
 }
-inline uint32_t get_timercounter_t1_ctrl_enable(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t1_ctrl_enable(volatile timercounter_t* reg){
    return (reg->T1_CTRL >> 0) & 0x7;
 }
-inline void set_timercounter_t1_ctrl_enable(volatile timercounter_t* reg, uint8_t value){
+static inline void set_timercounter_t1_ctrl_enable(volatile timercounter_t* reg, uint8_t value){
    reg->T1_CTRL = (reg->T1_CTRL & ~(0x7U << 0)) | (value << 0);
 }
-inline uint32_t get_timercounter_t1_ctrl_clear(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t1_ctrl_clear(volatile timercounter_t* reg){
    return (reg->T1_CTRL >> 3) & 0x3;
 }
-inline void set_timercounter_t1_ctrl_clear(volatile timercounter_t* reg, uint8_t value){
+static inline void set_timercounter_t1_ctrl_clear(volatile timercounter_t* reg, uint8_t value){
    reg->T1_CTRL = (reg->T1_CTRL & ~(0x3U << 3)) | (value << 3);
 }

 //TIMERCOUNTER_T1_OVERFLOW
-inline uint32_t get_timercounter_t1_overflow(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t1_overflow(volatile timercounter_t* reg){
    return (reg->T1_OVERFLOW >> 0) & 0xffffffff;
 }
-inline void set_timercounter_t1_overflow(volatile timercounter_t* reg, uint32_t value){
+static inline void set_timercounter_t1_overflow(volatile timercounter_t* reg, uint32_t value){
    reg->T1_OVERFLOW = (reg->T1_OVERFLOW & ~(0xffffffffU << 0)) | (value << 0);
 }

 //TIMERCOUNTER_T1_VALUE
-inline uint32_t get_timercounter_t1_value(volatile timercounter_t* reg){
+static inline uint32_t get_timercounter_t1_value(volatile timercounter_t* reg){
    return (reg->T1_VALUE >> 0) & 0xffffffff;
 }

--- a/include/ehrenberg/devices/gen/uart.h
+++ b/include/ehrenberg/devices/gen/uart.h
@@ -101,135 +101,135 @@ typedef struct {
 #define UART_STATUS_REG_CLEAR_BREAK(V) ((V & UART_STATUS_REG_CLEAR_BREAK_MASK) << UART_STATUS_REG_CLEAR_BREAK_OFFS)

 //UART_RX_TX_REG
-inline uint32_t get_uart_rx_tx_reg(volatile uart_t* reg){
+static inline uint32_t get_uart_rx_tx_reg(volatile uart_t* reg){
     return reg->RX_TX_REG;
 }
-inline void set_uart_rx_tx_reg(volatile uart_t* reg, uint32_t value){
+static inline void set_uart_rx_tx_reg(volatile uart_t* reg, uint32_t value){
     reg->RX_TX_REG = value;
 }
-inline uint32_t get_uart_rx_tx_reg_data(volatile uart_t* reg){
+static inline uint32_t get_uart_rx_tx_reg_data(volatile uart_t* reg){
    return (reg->RX_TX_REG >> 0) & 0xff;
 }
-inline void set_uart_rx_tx_reg_data(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_rx_tx_reg_data(volatile uart_t* reg, uint8_t value){
    reg->RX_TX_REG = (reg->RX_TX_REG & ~(0xffU << 0)) | (value << 0);
 }
-inline uint32_t get_uart_rx_tx_reg_rx_avail(volatile uart_t* reg){
+static inline uint32_t get_uart_rx_tx_reg_rx_avail(volatile uart_t* reg){
    return (reg->RX_TX_REG >> 14) & 0x1;
 }
-inline uint32_t get_uart_rx_tx_reg_tx_free(volatile uart_t* reg){
+static inline uint32_t get_uart_rx_tx_reg_tx_free(volatile uart_t* reg){
    return (reg->RX_TX_REG >> 15) & 0x1;
 }
-inline uint32_t get_uart_rx_tx_reg_tx_empty(volatile uart_t* reg){
+static inline uint32_t get_uart_rx_tx_reg_tx_empty(volatile uart_t* reg){
    return (reg->RX_TX_REG >> 16) & 0x1;
 }

 //UART_INT_CTRL_REG
-inline uint32_t get_uart_int_ctrl_reg(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg(volatile uart_t* reg){
     return reg->INT_CTRL_REG;
 }
-inline void set_uart_int_ctrl_reg(volatile uart_t* reg, uint32_t value){
+static inline void set_uart_int_ctrl_reg(volatile uart_t* reg, uint32_t value){
     reg->INT_CTRL_REG = value;
 }
-inline uint32_t get_uart_int_ctrl_reg_write_intr_enable(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg_write_intr_enable(volatile uart_t* reg){
    return (reg->INT_CTRL_REG >> 0) & 0x1;
 }
-inline void set_uart_int_ctrl_reg_write_intr_enable(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_int_ctrl_reg_write_intr_enable(volatile uart_t* reg, uint8_t value){
    reg->INT_CTRL_REG = (reg->INT_CTRL_REG & ~(0x1U << 0)) | (value << 0);
 }
-inline uint32_t get_uart_int_ctrl_reg_read_intr_enable(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg_read_intr_enable(volatile uart_t* reg){
    return (reg->INT_CTRL_REG >> 1) & 0x1;
 }
-inline void set_uart_int_ctrl_reg_read_intr_enable(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_int_ctrl_reg_read_intr_enable(volatile uart_t* reg, uint8_t value){
    reg->INT_CTRL_REG = (reg->INT_CTRL_REG & ~(0x1U << 1)) | (value << 1);
 }
-inline uint32_t get_uart_int_ctrl_reg_break_intr_enable(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg_break_intr_enable(volatile uart_t* reg){
    return (reg->INT_CTRL_REG >> 2) & 0x1;
 }
-inline void set_uart_int_ctrl_reg_break_intr_enable(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_int_ctrl_reg_break_intr_enable(volatile uart_t* reg, uint8_t value){
    reg->INT_CTRL_REG = (reg->INT_CTRL_REG & ~(0x1U << 2)) | (value << 2);
 }
-inline uint32_t get_uart_int_ctrl_reg_write_intr_pend(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg_write_intr_pend(volatile uart_t* reg){
    return (reg->INT_CTRL_REG >> 8) & 0x1;
 }
-inline uint32_t get_uart_int_ctrl_reg_read_intr_pend(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg_read_intr_pend(volatile uart_t* reg){
    return (reg->INT_CTRL_REG >> 9) & 0x1;
 }
-inline uint32_t get_uart_int_ctrl_reg_break_intr_pend(volatile uart_t* reg){
+static inline uint32_t get_uart_int_ctrl_reg_break_intr_pend(volatile uart_t* reg){
    return (reg->INT_CTRL_REG >> 10) & 0x1;
 }

 //UART_CLK_DIVIDER_REG
-inline uint32_t get_uart_clk_divider_reg(volatile uart_t* reg){
+static inline uint32_t get_uart_clk_divider_reg(volatile uart_t* reg){
     return reg->CLK_DIVIDER_REG;
 }
-inline void set_uart_clk_divider_reg(volatile uart_t* reg, uint32_t value){
+static inline void set_uart_clk_divider_reg(volatile uart_t* reg, uint32_t value){
     reg->CLK_DIVIDER_REG = value;
 }
-inline uint32_t get_uart_clk_divider_reg_clock_divider(volatile uart_t* reg){
+static inline uint32_t get_uart_clk_divider_reg_clock_divider(volatile uart_t* reg){
    return (reg->CLK_DIVIDER_REG >> 0) & 0xfffff;
 }
-inline void set_uart_clk_divider_reg_clock_divider(volatile uart_t* reg, uint32_t value){
+static inline void set_uart_clk_divider_reg_clock_divider(volatile uart_t* reg, uint32_t value){
    reg->CLK_DIVIDER_REG = (reg->CLK_DIVIDER_REG & ~(0xfffffU << 0)) | (value << 0);
 }

 //UART_FRAME_CONFIG_REG
-inline uint32_t get_uart_frame_config_reg(volatile uart_t* reg){
+static inline uint32_t get_uart_frame_config_reg(volatile uart_t* reg){
     return reg->FRAME_CONFIG_REG;
 }
-inline void set_uart_frame_config_reg(volatile uart_t* reg, uint32_t value){
+static inline void set_uart_frame_config_reg(volatile uart_t* reg, uint32_t value){
     reg->FRAME_CONFIG_REG = value;
 }
-inline uint32_t get_uart_frame_config_reg_data_length(volatile uart_t* reg){
+static inline uint32_t get_uart_frame_config_reg_data_length(volatile uart_t* reg){
    return (reg->FRAME_CONFIG_REG >> 0) & 0x7;
 }
-inline void set_uart_frame_config_reg_data_length(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_frame_config_reg_data_length(volatile uart_t* reg, uint8_t value){
    reg->FRAME_CONFIG_REG = (reg->FRAME_CONFIG_REG & ~(0x7U << 0)) | (value << 0);
 }
-inline uint32_t get_uart_frame_config_reg_parity(volatile uart_t* reg){
+static inline uint32_t get_uart_frame_config_reg_parity(volatile uart_t* reg){
    return (reg->FRAME_CONFIG_REG >> 3) & 0x3;
 }
-inline void set_uart_frame_config_reg_parity(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_frame_config_reg_parity(volatile uart_t* reg, uint8_t value){
    reg->FRAME_CONFIG_REG = (reg->FRAME_CONFIG_REG & ~(0x3U << 3)) | (value << 3);
 }
-inline uint32_t get_uart_frame_config_reg_stop_bit(volatile uart_t* reg){
+static inline uint32_t get_uart_frame_config_reg_stop_bit(volatile uart_t* reg){
    return (reg->FRAME_CONFIG_REG >> 5) & 0x1;
 }
-inline void set_uart_frame_config_reg_stop_bit(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_frame_config_reg_stop_bit(volatile uart_t* reg, uint8_t value){
    reg->FRAME_CONFIG_REG = (reg->FRAME_CONFIG_REG & ~(0x1U << 5)) | (value << 5);
 }

 //UART_STATUS_REG
-inline uint32_t get_uart_status_reg(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg(volatile uart_t* reg){
     return reg->STATUS_REG;
 }
-inline void set_uart_status_reg(volatile uart_t* reg, uint32_t value){
+static inline void set_uart_status_reg(volatile uart_t* reg, uint32_t value){
     reg->STATUS_REG = value;
 }
-inline uint32_t get_uart_status_reg_read_error(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg_read_error(volatile uart_t* reg){
    return (reg->STATUS_REG >> 0) & 0x1;
 }
-inline uint32_t get_uart_status_reg_stall(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg_stall(volatile uart_t* reg){
    return (reg->STATUS_REG >> 1) & 0x1;
 }
-inline uint32_t get_uart_status_reg_break_line(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg_break_line(volatile uart_t* reg){
    return (reg->STATUS_REG >> 8) & 0x1;
 }
-inline uint32_t get_uart_status_reg_break_detected(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg_break_detected(volatile uart_t* reg){
    return (reg->STATUS_REG >> 9) & 0x1;
 }
-inline void set_uart_status_reg_break_detected(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_status_reg_break_detected(volatile uart_t* reg, uint8_t value){
    reg->STATUS_REG = (reg->STATUS_REG & ~(0x1U << 9)) | (value << 9);
 }
-inline uint32_t get_uart_status_reg_set_break(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg_set_break(volatile uart_t* reg){
    return (reg->STATUS_REG >> 10) & 0x1;
 }
-inline void set_uart_status_reg_set_break(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_status_reg_set_break(volatile uart_t* reg, uint8_t value){
    reg->STATUS_REG = (reg->STATUS_REG & ~(0x1U << 10)) | (value << 10);
 }
-inline uint32_t get_uart_status_reg_clear_break(volatile uart_t* reg){
+static inline uint32_t get_uart_status_reg_clear_break(volatile uart_t* reg){
    return (reg->STATUS_REG >> 11) & 0x1;
 }
-inline void set_uart_status_reg_clear_break(volatile uart_t* reg, uint8_t value){
+static inline void set_uart_status_reg_clear_break(volatile uart_t* reg, uint8_t value){
    reg->STATUS_REG = (reg->STATUS_REG & ~(0x1U << 11)) | (value << 11);
 }

--- a/include/ehrenberg/devices/gpio.h
+++ b/include/ehrenberg/devices/gpio.h
@@ -4,7 +4,7 @@
 #include <stdint.h>
 #include "gen/gpio.h"

-inline void gpio_init(volatile gpio_t* reg) {
+static inline void gpio_init(volatile gpio_t* reg) {
    set_gpio_write(reg, 0);
    set_gpio_writeEnable(reg, 0);
 }
--- a/include/ehrenberg/devices/i2s.h
+++ b/include/ehrenberg/devices/i2s.h
--- a/include/ehrenberg/devices/interrupt.h
+++ b/include/ehrenberg/devices/interrupt.h
--- a/include/ehrenberg/devices/msg_if.h
+++ b/include/ehrenberg/devices/msg_if.h
--- a/include/ehrenberg/devices/qspi.h
+++ b/include/ehrenberg/devices/qspi.h
--- a/include/ehrenberg/devices/timer.h
+++ b/include/ehrenberg/devices/timer.h
@@ -4,15 +4,15 @@
 #include <stdint.h>
 #include "gen/timercounter.h"

-inline void prescaler_init(timercounter_t* reg, uint16_t value){
+static inline void prescaler_init(timercounter_t* reg, uint16_t value){
    set_timercounter_prescaler(reg, value);
 }

-inline void timer_t0__init(timercounter_t *reg){
+static inline void timer_t0__init(timercounter_t *reg){
    set_timercounter_t0_overflow(reg, 0xffffffff);
 }

-inline void timer_t1__init(timercounter_t *reg){
+static inline void timer_t1__init(timercounter_t *reg){
    set_timercounter_t1_overflow(reg, 0xffffffff);
 }

--- a/include/ehrenberg/devices/uart.h
+++ b/include/ehrenberg/devices/uart.h
@@ -21,7 +21,7 @@ static inline void uart_write(volatile uart_t* reg, uint8_t data){
    set_uart_rx_tx_reg_data(reg, data);
 }

-static inline inline uint8_t uart_read(volatile uart_t* reg){
+static inline uint8_t uart_read(volatile uart_t* reg){
    uint32_t res = get_uart_rx_tx_reg_data(reg);
    while((res&0x10000) == 0) res = get_uart_rx_tx_reg_data(reg);
    return res;
--- a/libwrap/semihosting/semihosting.h
+++ b/libwrap/semihosting/semihosting.h
--- a/include/sifive/devices/aon.h
+++ b/include/sifive/devices/aon.h
@@ -1,88 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_AON_H
-#define _SIFIVE_AON_H
-
-/* Register offsets */
-
-#define AON_WDOGCFG     0x000
-#define AON_WDOGCOUNT   0x008
-#define AON_WDOGS       0x010
-#define AON_WDOGFEED    0x018
-#define AON_WDOGKEY     0x01C
-#define AON_WDOGCMP     0x020
-
-#define AON_RTCCFG      0x040
-#define AON_RTCLO       0x048
-#define AON_RTCHI       0x04C
-#define AON_RTCS        0x050
-#define AON_RTCCMP      0x060
-
-#define AON_BACKUP0     0x080
-#define AON_BACKUP1     0x084
-#define AON_BACKUP2     0x088
-#define AON_BACKUP3     0x08C
-#define AON_BACKUP4     0x090
-#define AON_BACKUP5     0x094
-#define AON_BACKUP6     0x098
-#define AON_BACKUP7     0x09C
-#define AON_BACKUP8     0x0A0
-#define AON_BACKUP9     0x0A4
-#define AON_BACKUP10    0x0A8
-#define AON_BACKUP11    0x0AC
-#define AON_BACKUP12    0x0B0
-#define AON_BACKUP13    0x0B4
-#define AON_BACKUP14    0x0B8
-#define AON_BACKUP15    0x0BC
-
-#define AON_PMUWAKEUPI0 0x100
-#define AON_PMUWAKEUPI1 0x104
-#define AON_PMUWAKEUPI2 0x108
-#define AON_PMUWAKEUPI3 0x10C
-#define AON_PMUWAKEUPI4 0x110
-#define AON_PMUWAKEUPI5 0x114
-#define AON_PMUWAKEUPI6 0x118
-#define AON_PMUWAKEUPI7 0x11C
-#define AON_PMUSLEEPI0  0x120
-#define AON_PMUSLEEPI1  0x124
-#define AON_PMUSLEEPI2  0x128
-#define AON_PMUSLEEPI3  0x12C
-#define AON_PMUSLEEPI4  0x130
-#define AON_PMUSLEEPI5  0x134
-#define AON_PMUSLEEPI6  0x138
-#define AON_PMUSLEEPI7  0x13C
-#define AON_PMUIE       0x140
-#define AON_PMUCAUSE    0x144
-#define AON_PMUSLEEP    0x148
-#define AON_PMUKEY      0x14C
-
-#define AON_LFROSC      0x070
-/* Constants */
-
-#define AON_WDOGKEY_VALUE  0x51F15E
-#define AON_WDOGFEED_VALUE 0xD09F00D
-
-#define AON_WDOGCFG_SCALE       0x0000000F
-#define AON_WDOGCFG_RSTEN       0x00000100
-#define AON_WDOGCFG_ZEROCMP     0x00000200
-#define AON_WDOGCFG_ENALWAYS    0x00001000
-#define AON_WDOGCFG_ENCOREAWAKE 0x00002000
-#define AON_WDOGCFG_CMPIP       0x10000000
-
-#define AON_RTCCFG_SCALE     0x0000000F
-#define AON_RTCCFG_ENALWAYS  0x00001000
-#define AON_RTCCFG_CMPIP     0x10000000
-
-#define AON_WAKEUPCAUSE_RESET   0x00
-#define AON_WAKEUPCAUSE_RTC     0x01
-#define AON_WAKEUPCAUSE_DWAKEUP 0x02
-#define AON_WAKEUPCAUSE_AWAKEUP 0x03
-
-#define AON_RESETCAUSE_POWERON  0x0000
-#define AON_RESETCAUSE_EXTERNAL 0x0100
-#define AON_RESETCAUSE_WATCHDOG 0x0200
-
-#define AON_PMUCAUSE_WAKEUPCAUSE 0x00FF
-#define AON_PMUCAUSE_RESETCAUSE  0xFF00
-
-#endif /* _SIFIVE_AON_H */
--- a/include/sifive/devices/clic.h
+++ b/include/sifive/devices/clic.h
@@ -1,30 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_CLIC_H
-#define _SIFIVE_CLIC_H
-
-#define CLIC_HART0          0x00800000
-#define CLIC_MSIP           0x0000
-#define CLIC_MSIP_size      0x4
-#define CLIC_MTIMECMP       0x4000
-#define CLIC_MTIMECMP_size  0x8
-#define CLIC_MTIME          0xBFF8
-#define CLIC_MTIME_size     0x8
-
-#define CLIC_INTIP          0x000
-#define CLIC_INTIE          0x400
-#define CLIC_INTCFG         0x800
-#define CLIC_CFG            0xc00
-
-// These interrupt IDs are consistent across old and new mtvec modes
-#define SSIPID              1
-#define MSIPID              3
-#define STIPID              5
-#define MTIPID              7
-#define SEIPID              9
-#define MEIPID              11
-#define CSIPID              12
-#define LOCALINTIDBASE      16
-
-
-#endif /* _SIFIVE_CLIC_H */ 
--- a/include/sifive/devices/clint.h
+++ b/include/sifive/devices/clint.h
@@ -1,14 +0,0 @@
-// See LICENSE for license details
-
-#ifndef _SIFIVE_CLINT_H
-#define _SIFIVE_CLINT_H
-
-
-#define CLINT_MSIP 0x0000
-#define CLINT_MSIP_size   0x4
-#define CLINT_MTIMECMP 0x4000
-#define CLINT_MTIMECMP_size 0x8
-#define CLINT_MTIME 0xBFF8
-#define CLINT_MTIME_size 0x8
-
-#endif /* _SIFIVE_CLINT_H */ 
--- a/include/sifive/devices/gpio.h
+++ b/include/sifive/devices/gpio.h
@@ -1,24 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_GPIO_H
-#define _SIFIVE_GPIO_H
-
-#define GPIO_INPUT_VAL  (0x00)
-#define GPIO_INPUT_EN   (0x04)
-#define GPIO_OUTPUT_EN  (0x08)
-#define GPIO_OUTPUT_VAL (0x0C)
-#define GPIO_PULLUP_EN  (0x10)
-#define GPIO_DRIVE      (0x14)
-#define GPIO_RISE_IE    (0x18)
-#define GPIO_RISE_IP    (0x1C)
-#define GPIO_FALL_IE    (0x20)
-#define GPIO_FALL_IP    (0x24)
-#define GPIO_HIGH_IE    (0x28)
-#define GPIO_HIGH_IP    (0x2C)
-#define GPIO_LOW_IE     (0x30)
-#define GPIO_LOW_IP     (0x34)
-#define GPIO_IOF_EN     (0x38)
-#define GPIO_IOF_SEL    (0x3C)
-#define GPIO_OUTPUT_XOR    (0x40)
-
-#endif /* _SIFIVE_GPIO_H */
--- a/include/sifive/devices/otp.h
+++ b/include/sifive/devices/otp.h
@@ -1,23 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_OTP_H
-#define _SIFIVE_OTP_H
-
-/* Register offsets */
-
-#define OTP_LOCK         0x00
-#define OTP_CK           0x04
-#define OTP_OE           0x08
-#define OTP_SEL          0x0C
-#define OTP_WE           0x10
-#define OTP_MR           0x14
-#define OTP_MRR          0x18
-#define OTP_MPP          0x1C
-#define OTP_VRREN        0x20
-#define OTP_VPPEN        0x24
-#define OTP_A            0x28
-#define OTP_D            0x2C
-#define OTP_Q            0x30
-#define OTP_READ_TIMINGS 0x34
-
-#endif
--- a/include/sifive/devices/plic.h
+++ b/include/sifive/devices/plic.h
@@ -1,31 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef PLIC_H
-#define PLIC_H
-
-//#include <sifive/const.h>
-
-// 32 bits per source
-#define PLIC_PRIORITY_OFFSET            _AC(0x0000,UL)
-#define PLIC_PRIORITY_SHIFT_PER_SOURCE  2
-// 1 bit per source (1 address)
-#define PLIC_PENDING_OFFSET             _AC(0x1000,UL)
-#define PLIC_PENDING_SHIFT_PER_SOURCE   0
-
-//0x80 per target
-#define PLIC_ENABLE_OFFSET              _AC(0x2000,UL)
-#define PLIC_ENABLE_SHIFT_PER_TARGET    7
-
-
-#define PLIC_THRESHOLD_OFFSET           _AC(0x200000,UL)
-#define PLIC_CLAIM_OFFSET               _AC(0x200004,UL)
-#define PLIC_THRESHOLD_SHIFT_PER_TARGET 12
-#define PLIC_CLAIM_SHIFT_PER_TARGET     12
-
-#define PLIC_MAX_SOURCE                 1023
-#define PLIC_SOURCE_MASK                0x3FF
-
-#define PLIC_MAX_TARGET                 15871
-#define PLIC_TARGET_MASK                0x3FFF
-
-#endif /* PLIC_H */
--- a/include/sifive/devices/prci.h
+++ b/include/sifive/devices/prci.h
@@ -1,56 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_PRCI_H
-#define _SIFIVE_PRCI_H
-
-/* Register offsets */
-
-#define PRCI_HFROSCCFG   (0x0000)
-#define PRCI_HFXOSCCFG   (0x0004)
-#define PRCI_PLLCFG      (0x0008)
-#define PRCI_PLLDIV      (0x000C)
-#define PRCI_PROCMONCFG  (0x00F0)
-
-/* Fields */
-#define ROSC_DIV(x)    (((x) & 0x2F) << 0 ) 
-#define ROSC_TRIM(x)   (((x) & 0x1F) << 16)
-#define ROSC_EN(x)     (((x) & 0x1 ) << 30) 
-#define ROSC_RDY(x)    (((x) & 0x1 ) << 31)
-
-#define XOSC_EN(x)     (((x) & 0x1) << 30)
-#define XOSC_RDY(x)    (((x) & 0x1) << 31)
-
-#define PLL_R(x)       (((x) & 0x7)  << 0)
-// single reserved bit for F LSB.
-#define PLL_F(x)       (((x) & 0x3F) << 4)
-#define PLL_Q(x)       (((x) & 0x3)  << 10)
-#define PLL_SEL(x)     (((x) & 0x1)  << 16)
-#define PLL_REFSEL(x)  (((x) & 0x1)  << 17)
-#define PLL_BYPASS(x)  (((x) & 0x1)  << 18)
-#define PLL_LOCK(x)    (((x) & 0x1)  << 31)
-
-#define PLL_R_default 0x1
-#define PLL_F_default 0x1F
-#define PLL_Q_default 0x3
-
-#define PLL_REFSEL_HFROSC 0x0
-#define PLL_REFSEL_HFXOSC 0x1
-
-#define PLL_SEL_HFROSC 0x0
-#define PLL_SEL_PLL    0x1
-
-#define PLL_FINAL_DIV(x)      (((x) & 0x3F) << 0)
-#define PLL_FINAL_DIV_BY_1(x) (((x) & 0x1 ) << 8)
-
-#define PROCMON_DIV(x)   (((x) & 0x1F) << 0)
-#define PROCMON_TRIM(x)  (((x) & 0x1F) << 8)
-#define PROCMON_EN(x)    (((x) & 0x1)  << 16)
-#define PROCMON_SEL(x)   (((x) & 0x3)  << 24)
-#define PROCMON_NT_EN(x) (((x) & 0x1)  << 28)
-
-#define PROCMON_SEL_HFCLK     0
-#define PROCMON_SEL_HFXOSCIN  1
-#define PROCMON_SEL_PLLOUTDIV 2
-#define PROCMON_SEL_PROCMON   3
-
-#endif // _SIFIVE_PRCI_H
--- a/include/sifive/devices/pwm.h
+++ b/include/sifive/devices/pwm.h
@@ -1,37 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_PWM_H
-#define _SIFIVE_PWM_H
-
-/* Register offsets */
-
-#define PWM_CFG   0x00
-#define PWM_COUNT 0x08
-#define PWM_S     0x10
-#define PWM_CMP0  0x20
-#define PWM_CMP1  0x24
-#define PWM_CMP2  0x28
-#define PWM_CMP3  0x2C
-
-/* Constants */
-
-#define PWM_CFG_SCALE       0x0000000F
-#define PWM_CFG_STICKY      0x00000100
-#define PWM_CFG_ZEROCMP     0x00000200
-#define PWM_CFG_DEGLITCH    0x00000400
-#define PWM_CFG_ENALWAYS    0x00001000
-#define PWM_CFG_ONESHOT     0x00002000
-#define PWM_CFG_CMP0CENTER  0x00010000
-#define PWM_CFG_CMP1CENTER  0x00020000
-#define PWM_CFG_CMP2CENTER  0x00040000
-#define PWM_CFG_CMP3CENTER  0x00080000
-#define PWM_CFG_CMP0GANG    0x01000000
-#define PWM_CFG_CMP1GANG    0x02000000
-#define PWM_CFG_CMP2GANG    0x04000000
-#define PWM_CFG_CMP3GANG    0x08000000
-#define PWM_CFG_CMP0IP      0x10000000
-#define PWM_CFG_CMP1IP      0x20000000
-#define PWM_CFG_CMP2IP      0x40000000
-#define PWM_CFG_CMP3IP      0x80000000
-
-#endif /* _SIFIVE_PWM_H */
--- a/include/sifive/devices/spi.h
+++ b/include/sifive/devices/spi.h
@@ -1,80 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_SPI_H
-#define _SIFIVE_SPI_H
-
-/* Register offsets */
-
-#define SPI_REG_SCKDIV          0x00
-#define SPI_REG_SCKMODE         0x04
-#define SPI_REG_CSID            0x10
-#define SPI_REG_CSDEF           0x14
-#define SPI_REG_CSMODE          0x18
-
-#define SPI_REG_DCSSCK          0x28
-#define SPI_REG_DSCKCS          0x2a
-#define SPI_REG_DINTERCS        0x2c
-#define SPI_REG_DINTERXFR       0x2e
-
-#define SPI_REG_FMT             0x40
-#define SPI_REG_TXFIFO          0x48
-#define SPI_REG_RXFIFO          0x4c
-#define SPI_REG_TXCTRL          0x50
-#define SPI_REG_RXCTRL          0x54
-
-#define SPI_REG_FCTRL           0x60
-#define SPI_REG_FFMT            0x64
-
-#define SPI_REG_IE              0x70
-#define SPI_REG_IP              0x74
-
-/* Fields */
-
-#define SPI_SCK_PHA             0x1
-#define SPI_SCK_POL             0x2
-
-#define SPI_FMT_PROTO(x)        ((x) & 0x3)
-#define SPI_FMT_ENDIAN(x)       (((x) & 0x1) << 2)
-#define SPI_FMT_DIR(x)          (((x) & 0x1) << 3)
-#define SPI_FMT_LEN(x)          (((x) & 0xf) << 16)
-
-/* TXCTRL register */
-#define SPI_TXWM(x)             ((x) & 0xffff)
-/* RXCTRL register */
-#define SPI_RXWM(x)             ((x) & 0xffff)
-
-#define SPI_IP_TXWM             0x1
-#define SPI_IP_RXWM             0x2
-
-#define SPI_FCTRL_EN            0x1
-
-#define SPI_INSN_CMD_EN         0x1
-#define SPI_INSN_ADDR_LEN(x)    (((x) & 0x7) << 1)
-#define SPI_INSN_PAD_CNT(x)     (((x) & 0xf) << 4)
-#define SPI_INSN_CMD_PROTO(x)   (((x) & 0x3) << 8)
-#define SPI_INSN_ADDR_PROTO(x)  (((x) & 0x3) << 10)
-#define SPI_INSN_DATA_PROTO(x)  (((x) & 0x3) << 12)
-#define SPI_INSN_CMD_CODE(x)    (((x) & 0xff) << 16)
-#define SPI_INSN_PAD_CODE(x)    (((x) & 0xff) << 24)
-
-#define SPI_TXFIFO_FULL  (1 << 31)   
-#define SPI_RXFIFO_EMPTY (1 << 31)   
-
-/* Values */
-
-#define SPI_CSMODE_AUTO         0
-#define SPI_CSMODE_HOLD         2
-#define SPI_CSMODE_OFF          3
-
-#define SPI_DIR_RX              0
-#define SPI_DIR_TX              1
-
-#define SPI_PROTO_S             0
-#define SPI_PROTO_D             1
-#define SPI_PROTO_Q             2
-
-#define SPI_ENDIAN_MSB          0
-#define SPI_ENDIAN_LSB          1
-
-
-#endif /* _SIFIVE_SPI_H */
--- a/include/sifive/devices/uart.h
+++ b/include/sifive/devices/uart.h
@@ -1,27 +0,0 @@
-// See LICENSE for license details.
-
-#ifndef _SIFIVE_UART_H
-#define _SIFIVE_UART_H
-
-/* Register offsets */
-#define UART_REG_TXFIFO         0x00
-#define UART_REG_RXFIFO         0x04
-#define UART_REG_TXCTRL         0x08
-#define UART_REG_RXCTRL         0x0c
-#define UART_REG_IE             0x10
-#define UART_REG_IP             0x14
-#define UART_REG_DIV            0x18
-
-/* TXCTRL register */
-#define UART_TXEN               0x1
-#define UART_TXWM(x)            (((x) & 0xffff) << 16)
-
-/* RXCTRL register */
-#define UART_RXEN               0x1
-#define UART_RXWM(x)            (((x) & 0xffff) << 16)
-
-/* IP register */
-#define UART_IP_TXWM            0x1
-#define UART_IP_RXWM            0x2
-
-#endif /* _SIFIVE_UART_H */
--- a/include/sifive/smp.h
+++ b/include/sifive/smp.h
@@ -1,65 +0,0 @@
-#ifndef SIFIVE_SMP
-#define SIFIVE_SMP
-
-// The maximum number of HARTs this code supports
-#ifndef MAX_HARTS
-#define MAX_HARTS 32
-#endif
-#define CLINT_END_HART_IPI CLINT_CTRL_ADDR + (MAX_HARTS*4)
-
-// The hart that non-SMP tests should run on
-#ifndef NONSMP_HART
-#define NONSMP_HART 0
-#endif
-
-/* If your test cannot handle multiple-threads, use this: 
- *   smp_disable(reg1)
- */
-#define smp_disable(reg1, reg2)			 \
-  csrr reg1, mhartid				;\
-  li   reg2, NONSMP_HART			;\
-  beq  reg1, reg2, hart0_entry			;\
-42:						;\
-  wfi    					;\
-  j 42b						;\
-hart0_entry:
-
-/* If your test needs to temporarily block multiple-threads, do this:
- *    smp_pause(reg1, reg2)
- *    ... single-threaded work ...
- *    smp_resume(reg1, reg2)
- *    ... multi-threaded work ...
- */
-
-#define smp_pause(reg1, reg2)	 \
-  li reg2, 0x8			;\
-  csrw mie, reg2		;\
-  csrr reg2, mhartid		;\
-  bnez reg2, 42f
-
-#define smp_resume(reg1, reg2)	 \
-  li reg1, CLINT_CTRL_ADDR	;\
-41:				;\
-  li reg2, 1			;\
-  sw reg2, 0(reg1)		;\
-  addi reg1, reg1, 4		;\
-  li reg2, CLINT_END_HART_IPI	;\
-  blt reg1, reg2, 41b		;\
-42:				;\
-  wfi    			;\
-  csrr reg2, mip		;\
-  andi reg2, reg2, 0x8		;\
-  beqz reg2, 42b		;\
-  li reg1, CLINT_CTRL_ADDR	;\
-  csrr reg2, mhartid		;\
-  slli reg2, reg2, 2		;\
-  add reg2, reg2, reg1		;\
-  sw zero, 0(reg2)		;\
-41:				;\
-  lw reg2, 0(reg1)		;\
-  bnez reg2, 41b		;\
-  addi reg1, reg1, 4		;\
-  li reg2, CLINT_END_HART_IPI	;\
-  blt reg1, reg2, 41b
-
-#endif
--- a/libwrap/CMakeLists.txt
+++ b/libwrap/CMakeLists.txt
@@ -1,77 +1,41 @@
-#cmake_minimum_required(VERSION 3.12)
-project(libwrap)
-
-message(STATUS " here 2 in libwrap")
-set(LIBRARY_NAME libwrap)
-set(STATIC_LIBRARY_FLAGS "rcs")
-
-# Create object library for libwrap
+include(CMakePrintHelpers)
 set(LIB_SOURCES
-   sys/_exit.c
-   sys/close.c
-   sys/execve.c
-   sys/fork.c
-   sys/fstat.c
-   sys/getpid.c
-   sys/isatty.c
-   sys/kill.c
-   sys/link.c
-   sys/lseek.c
-   sys/open.c
-   sys/openat.c
-   sys/printf.c
-   sys/puts.c
-   sys/read.c
-   sys/sbrk.c
-   sys/stat.c
-   sys/times.c
-   sys/unlink.c
-   sys/wait.c
-  # sys/write.c    
+    sys/_exit.c
+    sys/close.c
+    sys/execve.c
+    sys/fork.c
+    sys/fstat.c
+    sys/getpid.c
+    sys/isatty.c
+    sys/kill.c
+    sys/link.c
+    sys/lseek.c
+    sys/open.c
+    sys/openat.c
+    sys/printf.c
+    sys/puts.c
+    sys/read.c
+    sys/sbrk.c
+    sys/stat.c
+    sys/times.c
+    sys/unlink.c
+    sys/wait.c
+    sys/write.c    
    # Standard library
    stdlib/malloc.c    
    # Miscellaneous
    misc/write_hex.c
-) 
-
-if(SEMIHOSTING)
-    list(APPEND LIB_SOURCES 
-        semihosting/semihosting.c
-        semihosting/trap.c )
-    
-endif()
-
-#add_library(${LIBRARY_NAME} OBJECT ${LIB_SOURCES})
-add_library(${LIBRARY_NAME} STATIC ${LIB_SOURCES})
-set_target_properties(${LIBRARY_NAME} PROPERTIES ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bare-metal-bsp/${PROJECT_NAME})
-
-message(STATUS " CMAKE_BINARY_DIR: ${CMAKE_BINARY_DIR}   ${CMAKE_LIBRARY_OUTPUT_DIRECTORY}")
-
-# Retrieve the output directory for the library
-get_target_property(LIBRARY_PATH ${LIBRARY_NAME} ARCHIVE_OUTPUT_DIRECTORY)
-
-# Print the path to the console (for debugging purposes)
-message(STATUS "The library output path is: ${LIBRARY_PATH}")
-
-# Include directories
-target_include_directories(${LIBRARY_NAME} PRIVATE
-    ${CMAKE_CURRENT_SOURCE_DIR}
-    ${BSP_BASE}/include
-    include/
-    ${BSP_BASE}/env
-    ${BSP_BASE}/env/${BOARD}
-    ${BSP_BASE}/drivers
 )
+set(WRAP_ARGS "")
+foreach(FILE ${LIB_SOURCES})
+    get_filename_component(DIR ${FILE} DIRECTORY)
+    if(NOT DIR STREQUAL "misc")
+    get_filename_component(BASE_NAME ${FILE} NAME_WE)
+    list(APPEND WRAP_ARGS "LINKER:--wrap=${BASE_NAME}")
+    endif()
+endforeach()

+add_library(wrap STATIC ${LIB_SOURCES} ../env/${BOARD_BASE}/bsp_write.c ../env/${BOARD_BASE}/bsp_read.c)
+target_include_directories(wrap PUBLIC ../include)
+target_link_options(wrap INTERFACE ${WRAP_ARGS})

-
-#link global_compile_options to this libraries
-#target_link_libraries(${PROJECT_NAME} PRIVATE global_compile_options)
-
-# Compile definitions
-#target_compile_definitions(libwrap_objects PRIVATE
-#    BOARD_${BOARD}
-#)
-
-# Export objects to parent scope
-#set(LIBWRAP_OBJECTS $<TARGET_OBJECTS:${PROJECT_NAME}> PARENT_SCOPE)
--- a/libwrap/libwrap.mk
+++ b/libwrap/libwrap.mk
@@ -9,6 +9,7 @@ LIBWRAP_SRCS := \
 	sys/open.c \
 	sys/lseek.c \
 	sys/read.c \
+	sys/write.c \
 	sys/fstat.c \
 	sys/stat.c \
 	sys/close.c \
--- a/libwrap/misc/write_hex.c
+++ b/libwrap/misc/write_hex.c
@@ -2,18 +2,16 @@

 #include <stdint.h>
 #include <unistd.h>
-#include "platform.h"

-void write_hex(int fd, uint32_t hex)
-{
+void write_hex(int fd, uint32_t hex) {
  uint8_t ii;
  uint8_t jj;
  char towrite;
-  write(fd , "0x", 2);
-  for (ii = 8 ; ii > 0; ii--) {
+  write(fd, "0x", 2);
+  for (ii = 8; ii > 0; ii--) {
    jj = ii - 1;
-    uint8_t digit = ((hex & (0xF << (jj*4))) >> (jj*4));
-    towrite = digit < 0xA ? ('0' + digit) : ('A' +  (digit - 0xA));
+    uint8_t digit = ((hex & (0xF << (jj * 4))) >> (jj * 4));
+    towrite = digit < 0xA ? ('0' + digit) : ('A' + (digit - 0xA));
    write(fd, &towrite, 1);
  }
 }
--- a/libwrap/sys/_exit.c
+++ b/libwrap/sys/_exit.c
@@ -1,8 +1,9 @@
 /* See LICENSE of license details. */

-#include "platform.h"
 #include "weak_under_alias.h"
+//#include <stdint.h>
 #include <unistd.h>
+#include <stdint.h>
 #if defined(SEMIHOSTING)
 #include "semihosting.h"
 #endif
@@ -18,19 +19,17 @@ extern volatile uint32_t fromhost;
 void write_hex(int fd, uint32_t hex);

 void __wrap_exit(int code) {
-  /*#if defined(SEMIHOSTING)
-    sh_exit();
-    return;
-  #endif*/
+
  // volatile uint32_t* leds = (uint32_t*) (GPIO_BASE_ADDR + GPIO_OUT_OFFSET);
  const char message[] = "\nProgam has exited with code:";
  //*leds = (~(code));
-
  write(STDERR_FILENO, message, sizeof(message) - 1);
  write_hex(STDERR_FILENO, code);
  write(STDERR_FILENO, "\n", 1);
-  tohost = code + 1;
+  write(STDERR_FILENO, "\n", 1);
+  //  tohost = (code << 1) + 1; // here used to stop simulation
  write(STDERR_FILENO, "\x04", 1);
+
  for (;;)
    ;
 }
--- a/libwrap/sys/puts.c
+++ b/libwrap/sys/puts.c
@@ -1,45 +1,11 @@
-/* See LICENSE of license details. */
-
-#include <errno.h>
-#include <stdint.h>
-#include <sys/types.h>
+#include "weak_under_alias.h"
+#include <string.h>
 #include <unistd.h>

-#include "platform.h"
-#include "stub.h"
-#include "weak_under_alias.h"
-#if defined(SEMIHOSTING)
-#include "semihosting.h"
-#endif
+extern ssize_t _bsp_write(int, const void *, size_t);

 int __wrap_puts(const char *s) {
-#if defined(SEMIHOSTING)
-  sh_write0(s);
-  return 0;
-#endif
-  while (*s != '\0') {
-#if defined(BOARD_ehrenberg) || defined(BOARD_tgc_vp)
-    while (get_uart_rx_tx_reg_tx_free(uart) == 0)
-      ;
-    uart_write(uart, *s);
-#elif defined(BOARD_iss)
-    *((uint32_t *)0xFFFF0000) = *s;
-#elif defined(BOARD_TGCP)
-    // TODO: implement
-#else
-    while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
-      ;
-    UART0_REG(UART_REG_TXFIFO) = *s;
-
-    if (*s == '\n') {
-      while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
-        ;
-      UART0_REG(UART_REG_TXFIFO) = '\r';
-    }
-#endif
-    ++s;
-  }
-
-  return 0;
+  int len = strlen(s);
+  return _bsp_write(STDOUT_FILENO, s, len);
 }
 weak_under_alias(puts);
--- a/libwrap/sys/read.c
+++ b/libwrap/sys/read.c
@@ -1,62 +1,10 @@
-/* See LICENSE of license details. */
-
-#include <errno.h>
-#include <stdint.h>
-#include <sys/types.h>
+#include "weak_under_alias.h"
 #include <unistd.h>

-#include "platform.h"
-#include "stub.h"
-#include "weak_under_alias.h"
-#if defined(SEMIHOSTING)
-#include "semihosting.h"
-#endif
+extern ssize_t _bsp_read(int fd, void *ptr, size_t len);

 ssize_t __wrap_read(int fd, void *ptr, size_t len) {
-  uint8_t *current = (uint8_t *)ptr;
-#if defined(SEMIHOSTING)
-  int i = sh_read(current, fd, len);
-  return i;
-#endif
-#if defined(BOARD_hifive1)
-  volatile uint32_t *uart_rx = (uint32_t *)(UART0_CTRL_ADDR + UART_REG_RXFIFO);
-  volatile uint8_t *uart_rx_cnt =
-      (uint8_t *)(UART0_CTRL_ADDR + UART_REG_RXCTRL + 2);
-#elif defined(BOARD_iss)
-  volatile uint32_t *uart_rx = (uint32_t *)0xFFFF0000;
-#elif defined(BOARD_TGCP)
-  // TODO: implement
-#elif !defined(BOARD_ehrenberg) && !defined(BOARD_tgc_vp)
-  volatile uint32_t *uart_rx = (uint32_t *)(UART0_BASE_ADDR + UART_REG_RXFIFO);
-  volatile uint8_t *uart_rx_cnt =
-      (uint8_t *)(UART0_BASE_ADDR + UART_REG_RXCTRL + 2);
-#endif
-  ssize_t result = 0;
-  if (isatty(fd)) {
-#if defined(BOARD_ehrenberg) || defined(BOARD_tgc_vp)
-    for (current = (uint8_t *)ptr; (current < ((uint8_t *)ptr) + len) &&
-                                   (get_uart_rx_tx_reg_rx_avail(uart) > 0);
-         current++) {
-      *current = uart_read(uart);
-      result++;
-    }
-#elif defined(BOARD_iss)
-    for (current = (uint8_t *)ptr; (current < ((uint8_t *)ptr) + len);
-         current++) {
-      *current = *uart_rx;
-      result++;
-    }
-#elif defined(BOARD_TGCP)
-    // TODO: implement
-#else
-    for (current = (uint8_t *)ptr;
-         (current < ((uint8_t *)ptr) + len) && (*uart_rx_cnt > 0); current++) {
-      *current = *uart_rx;
-      result++;
-    }
-#endif
-    return result;
-  }
-  return _stub(EBADF);
+  return _bsp_read(fd, ptr, len);
 }
+
 weak_under_alias(read);
--- a/libwrap/sys/write.c
+++ b/libwrap/sys/write.c
@@ -1,61 +1,8 @@
-/* See LICENSE of license details. */
-
-#include <errno.h>
-#include <stdint.h>
-#include <sys/types.h>
+#include "weak_under_alias.h"
 #include <unistd.h>

-#include "platform.h"
-#include "stub.h"
-#include "weak_under_alias.h"
-#if defined(SEMIHOSTING)
-#include "semihosting.h"
-#endif
-
+extern ssize_t _bsp_write(int, const void *, size_t);
 ssize_t __wrap_write(int fd, const void *ptr, size_t len) {
-  const uint8_t *current = (const uint8_t *)ptr;
-#if defined(SEMIHOSTING)
-  if (isatty(fd)) {
-    for (size_t jj = 0; jj < len; jj++) {
-      sh_writec(current[jj]);
-    }
-    return len;
-  } else {
-    sh_write(current, fd);
-    return len;
-  }
-  // return len;
-#endif
-  if (isatty(fd)) {
-    for (size_t jj = 0; jj < len; jj++) {
-#if defined(BOARD_ehrenberg) || defined(BOARD_tgc_vp)
-      while (get_uart_rx_tx_reg_tx_free(uart) == 0)
-        ;
-      uart_write(uart, current[jj]);
-      if (current[jj] == '\n') {
-        while (get_uart_rx_tx_reg_tx_free(uart) == 0)
-          ;
-        uart_write(uart, '\r');
-      }
-#elif defined(BOARD_iss)
-      *((uint32_t *)0xFFFF0000) = current[jj];
-#elif defined(BOARD_TGCP)
-      // TODO: implement
-#else
-      while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
-        ;
-      UART0_REG(UART_REG_TXFIFO) = current[jj];
-
-      if (current[jj] == '\n') {
-        while (UART0_REG(UART_REG_TXFIFO) & 0x80000000)
-          ;
-        UART0_REG(UART_REG_TXFIFO) = '\r';
-      }
-#endif
-    }
-    return len;
-  }
-
-  return _stub(EBADF);
+  return _bsp_write(fd, ptr, len);
 }
 weak_under_alias(write);
Author	SHA1	Message	Date
Eyck-Alexander Jentzsch	41d38e698d	cleans up bsp read and write for ISS	2025-05-22 12:10:25 +02:00
Eyck-Alexander Jentzsch	92d01b9db4	adds check for testbench to CMakeList	2025-05-22 12:10:07 +02:00
Hongyu Liu	540397494a	updates CMAKE_C_FLAGS set	2025-04-15 14:30:48 +02:00
Hongyu Liu	853d1c33ec	updates to-/fromhost in link.lds	2025-04-15 12:19:32 +02:00
Eyck Jentzsch	e0807b8cdd	moves to-/fromhost declaration into platform	2025-04-14 17:00:41 +02:00
Eyck Jentzsch	8cb34baacf	moves to-/fromhost past the end of the RAM	2025-04-14 16:34:10 +02:00
Hongyu Liu	db3a2d68d6	adds rv64gc.cmake	2025-04-11 15:37:34 +02:00
Eyck-Alexander Jentzsch	38246a05ce	makes all inline functions static to make building w/o optimization possible	2025-03-28 23:05:08 +01:00
Eyck-Alexander Jentzsch	c3d9e5fa6f	adds proper device based r/w to tgc_vp	2025-03-28 23:03:53 +01:00
Eyck-Alexander Jentzsch	3b95d0a7cd	removes unused build components	2025-03-28 23:03:24 +01:00
Eyck-Alexander Jentzsch	427f8e8b0b	updates tgc_vp by adding bsp specific r/w and updates platform.h paths	2025-03-28 19:03:56 +01:00
Eyck-Alexander Jentzsch	890d4478a3	adds bsp write and read for rtl	2025-03-24 08:28:56 +01:00
Hongyu Liu	7d55172d51	updates the bsp_write and exit	2025-03-21 16:05:01 +01:00
Hongyu Liu	ada4881d33	disables compiler opt for bsp_write in release	2025-03-14 17:51:55 +01:00
Hongyu Liu	3042e0e124	uses tohost in bsp_write	2025-03-11 11:42:28 +01:00
Hongyu Liu	8bb7365819	changes the order of sdata and srodata	2025-03-11 11:35:06 +01:00
Eyck-Alexander Jentzsch	c83b10df38	corrects puts in libwrap	2025-01-17 13:16:49 +01:00
Eyck-Alexander Jentzsch	24b64bce3e	re-adds symbolic link for tgc_vp	2025-01-16 11:17:54 +01:00
Eyck-Alexander Jentzsch	fbe6560e79	makes bsp standalone library	2025-01-16 11:09:40 +01:00
Eyck-Alexander Jentzsch	0464b3b589	adds malloc to libwrap CMake	2025-01-16 11:09:20 +01:00
Eyck-Alexander Jentzsch	242c506e41	ammends toolchainfile	2025-01-07 11:01:22 +01:00
Eyck-Alexander Jentzsch	0a3b25cc6d	updates Make build system with new Board specific writes	2025-01-07 10:45:02 +01:00
Eyck-Alexander Jentzsch	4d15523a74	removes -g switch from toolchain file as it gets set when using Debug anyway, this way it wont be in Release or others	2025-01-06 20:47:03 +01:00
Eyck-Alexander Jentzsch	e652e59dac	removes platform dependency in libwrap	2025-01-06 20:45:20 +01:00
Eyck-Alexander Jentzsch	6cd7ea887a	removes unused CMakeLists	2025-01-06 20:23:10 +01:00
Eyck-Alexander Jentzsch	cef1036169	adds board specific read for iss, changes read implementation	2025-01-06 20:21:21 +01:00
Eyck-Alexander Jentzsch	d9692688b6	changes puts functionality to use new board specific write	2025-01-06 20:20:48 +01:00
Eyck-Alexander Jentzsch	2c063fe9a4	adds toolchain file	2025-01-06 20:19:52 +01:00
Eyck-Alexander Jentzsch	32ff23709f	splits write.c, adds iss implementation and adds CMake build system	2025-01-06 20:19:05 +01:00
Eyck-Alexander Jentzsch	bace1c31c1	moves semihosting away from libwrap	2025-01-06 20:17:40 +01:00
Eyck-Alexander Jentzsch	790379cd78	moves testbench implementations	2025-01-06 20:17:05 +01:00
Eyck-Alexander Jentzsch	7ea13b8993	removes SiFive from bsp	2025-01-06 20:16:29 +01:00
Eyck-Alexander Jentzsch	9ff9727bd6	replaces ehrenberg with new implementations	2025-01-06 20:15:44 +01:00