Hacked for Zephyr

Author: LeStarch

.codespell-ignore-words.txt

@@ -1 +1,2 @@
 comIn
+Ines

CMakeLists.txt

@@ -4,6 +4,7 @@
 ####
 
 cmake_minimum_required(VERSION 3.24.2)
+add_compile_definitions(_POSIX_C_SOURCE=200809L)
 
 # Set BOARD_ROOT to find custom boards
 # The structure is BOARD_ROOT/boards/vendor/board
@@ -33,6 +34,12 @@ fprime_setup_included_code()
 
 # This includes project-wide objects
 add_fprime_subdirectory("${CMAKE_CURRENT_LIST_DIR}/FprimeZephyrReference")
-
+if (FPRIME_USE_POSIX)
+    set_target_properties(Drv_Ip PROPERTIES EXCLUDE_FROM_ALL TRUE)
+    set_target_properties(Drv_TcpServer PROPERTIES EXCLUDE_FROM_ALL TRUE)
+    set_target_properties(Drv_TcpClient PROPERTIES EXCLUDE_FROM_ALL TRUE)
+    set_target_properties(Drv_Udp PROPERTIES EXCLUDE_FROM_ALL TRUE)
+    target_compile_definitions(Os_File_Posix_Implementation PRIVATE SYNTHETIC_FALLOCATE)
+endif()
 set_target_properties(Svc_FatalHandler PROPERTIES EXCLUDE_FROM_ALL TRUE)
 set_target_properties(fprime-zephyr_Drv_ZephyrSpiDriver PROPERTIES EXCLUDE_FROM_ALL TRUE)

FprimeZephyrReference/ReferenceDeployment/CMakeLists.txt

@@ -20,5 +20,8 @@ if (FPRIME_PLATFORM STREQUAL "Zephyr")
             "${CMAKE_CURRENT_LIST_DIR}/Main.cpp"
         DEPENDS
             ${FPRIME_CURRENT_MODULE}_Top
+        CHOOSES_IMPLEMENTATIONS
+            # Can remain stubs for now
+            Os_File_Posix
     )
 endif()

FprimeZephyrReference/ReferenceDeployment/Main.cpp

@@ -9,6 +9,7 @@
 
 #include <zephyr/kernel.h>
 #include <zephyr/sys/printk.h>
+#include <Os/File.hpp>
 
 const struct device* serial = DEVICE_DT_GET(DT_NODELABEL(cdc_acm_uart0));
 const struct device* lora = DEVICE_DT_GET(DT_NODELABEL(lora0));
@@ -19,7 +20,25 @@ int main(int argc, char* argv[]) {
     // This sleep is necessary to allow the USB CDC ACM interface to initialize before
     // the application starts writing to it.
     k_sleep(K_MSEC(3000));
-
+    Os::File file;
+    U8 message[] = "Hello Ines\n";
+    U8 message1[sizeof(message) + 1] = {0};
+    Os::File::Status status;
+    FwSizeType size;
+    // = file.open("/tmp1", Os::File::Mode::OPEN_CREATE);
+    // Os::File::Status status = file.open("/tmp1", Os::File::Mode::OPEN_CREATE);
+    // FwSizeType size = static_cast<FwSignedSizeType>(sizeof(message));
+    // printk("Status: %d - open\n", static_cast<int>(status));
+    // status = file.write(message, size);
+    // printk("Status: %d - write %" PRI_FwSizeType "\n", static_cast<int>(status), size);
+    // file.close();
+    status = file.open("/tmp1", Os::File::Mode::OPEN_READ);
+    printk("Status: %d - open (R)\n", static_cast<int>(status));
+    size = static_cast<FwSignedSizeType>(sizeof(message));
+    status = file.read(message1, size);
+    printk("Status: %d - read %" PRI_FwSizeType "\n", static_cast<int>(status), size);
+    message1[sizeof(message)] = 0;
+    printk("Message: %s\n", message1);
     Os::init();
     // Object for communicating state to the topology
     ReferenceDeployment::TopologyState inputs;

boards/bronco_space/proves_flight_control_board_v5/proves_flight_control_board_v5-pinctrl.dtsi

@@ -1,6 +1,16 @@
 #include <zephyr/dt-bindings/pinctrl/rpi-pico-rp2350a-pinctrl.h>
 
 &pinctrl {
+	spi0_default: spi0_default {
+		group1 {
+			pinmux = <SPI0_SCK_P18>, <SPI0_TX_P19>;
+		};
+
+		group2 {
+			pinmux = <SPI0_RX_P16>;
+			input-enable;
+		};
+	};
 	spi1_default: spi1_default {
 		group1 {
 			pinmux = <SPI1_SCK_P10>, <SPI1_TX_P11>;

boards/bronco_space/proves_flight_control_board_v5/proves_flight_control_board_v5.dtsi

@@ -14,6 +14,17 @@
 		zephyr,code-partition = &code_partition;
 	};
 
+	fstab {
+                compatible = "zephyr,fstab";
+                ffs1: ffs1 {
+                        compatible = "zephyr,fstab,fatfs";
+                        automount;
+                        disk-access;
+                        mount-point = "/";
+                };
+        };
+
+
 	aliases {
 		watchdog0 = &wdt0;
 	};
@@ -89,6 +100,24 @@ zephyr_udc0: &usbd {
 	status = "okay";
 };
 
+&spi0 {
+	status = "okay";
+	cs-gpios = <&gpio0 15 GPIO_ACTIVE_LOW>;
+	pinctrl-0 = <&spi0_default>;
+	pinctrl-names = "default";
+	sdhc0: sdhc@0 {
+                compatible = "zephyr,sdhc-spi-slot";
+                reg = <0>;
+                status = "okay";
+                mmc {
+                    compatible = "zephyr,sdmmc-disk";
+                    disk-name = "SD";
+                    status = "okay";
+                };
+                spi-max-frequency = <24000000>;
+        };
+};
+
 &spi1 {
 	status = "okay";
 	cs-gpios = <&gpio0 9 GPIO_ACTIVE_LOW>;

lib/fprime

@@ -54,3 +54,14 @@ CONFIG_LOG=n
 CONFIG_LOG_DEFAULT_LEVEL=3
 
 CONFIG_CBPRINTF_FP_SUPPORT=y
+
+
+CONFIG_POSIX_AEP_CHOICE_PSE52=y
+CONFIG_POSIX_FILE_SYSTEM=y
+CONFIG_FILE_SYSTEM=y
+CONFIG_SDHC=y
+CONFIG_DISK_ACCESS=y
+CONFIG_FAT_FILESYSTEM_ELM=y
+CONFIG_FS_FATFS_EXFAT=y
+CONFIG_FS_FATFS_MOUNT_MKFS=y
+CONFIG_FS_FATFS_FSTAB_AUTOMOUNT=y

lib/fprime-zephyr

@@ -8,3 +8,6 @@ default_cmake_options:  FPRIME_ENABLE_FRAMEWORK_UTS=OFF
                         FPRIME_ENABLE_AUTOCODER_UTS=OFF
                         BOARD_ROOT=.
                         BOARD=proves_flight_control_board_v5d/rp2350a/m33
+                        FPRIME_USE_POSIX=ON
+                        FPRIME_CMAKE_QUIET=ON
+                        FPRIME_INSTALL_STATIC_LIBRARIES=OFF