Code formatting and linting

Author: Kaweees

firmware/chipignite/polysat/Makefile

@@ -9,7 +9,7 @@ ARCH=rv32i_zicsr
 SRCDIR = src
 INCDIR = include
 SOURCES = $(wildcard $(SRCDIR)/*.c)
-PROJECT = project
+PROJECT = polysat
 
 # ---- Test patterns for project raven ----
 

firmware/chipignite/polysat/src/gpio.c

@@ -11,7 +11,7 @@ void gpio_set(uint32_t pin, bool value) {
   if (pin < 32) {
     // Register for low pins (0-31)
     reg_mprj_datal |= (1 << (pin % 32));
-  } else if (pin < 37) {
+  } else if (pin <= 37) {
     // Register for high pins (32-37)
     reg_mprj_datah |= (1 << (pin % 32));
   }
@@ -25,7 +25,7 @@ void gpio_clear(uint32_t pin) {
   if (pin < 32) {
     // Register for low pins (0-31)
     reg_mprj_datal &= ~(1 << (pin % 32));
-  } else if (pin < 37) {
+  } else if (pin <= 37) {
     // Register for high pins (32-37)
     reg_mprj_datah &= ~(1 << (pin % 32));
   }
@@ -39,7 +39,7 @@ void gpio_toggle(uint32_t pin) {
   if (pin < 32) {
     // Register for low pins (0-31)
     reg_mprj_datal ^= (1 << (pin % 32));
-  } else if (pin < 37) {
+  } else if (pin <= 37) {
     // Register for high pins (32-37)
     reg_mprj_datah ^= (1 << (pin % 32));
   }
@@ -54,7 +54,7 @@ bool gpio_get(uint32_t pin) {
   if (pin < 32) {
     // Register for low pins (0-31)
     return (reg_mprj_datal & (1 << (pin % 32))) != 0;
-  } else if (pin < 37) {
+  } else if (pin <= 37) {
     // Register for high pins (32-37)
     return (reg_mprj_datah & (1 << (pin % 32))) != 0;
   }

firmware/chipignite/polysat/src/slip.c

@@ -65,7 +65,8 @@ void slip_send_packet(const uint8_t* data, uint16_t data_len, uint8_t cmd, void
  * @param send_byte A function to send a byte to the output stream.
  */
 void slip_send_heartbeat(void (*send_byte)(uint8_t)) {
-  slip_send_packet(NULL, 0, SLIP_CMD_HEARTBEAT, send_byte);
+  uint8_t dummy = 0;
+  slip_send_packet(&dummy, 0, SLIP_CMD_HEARTBEAT, send_byte);
 }
 
 /** @brief Compute a CRC-16/CCITT-FALSE checksum