Add RT_TICK_USING_64BIT Kconfig option for configure sizeof rt_tick_t

bsp/qemu-virt64-riscv/.config

@@ -129,6 +129,7 @@ CONFIG_RT_THREAD_PRIORITY_32=y
 # CONFIG_RT_THREAD_PRIORITY_256 is not set
 CONFIG_RT_THREAD_PRIORITY_MAX=32
 CONFIG_RT_TICK_PER_SECOND=100
+CONFIG_RT_TICK_USING_64BIT=y
 CONFIG_RT_USING_OVERFLOW_CHECK=y
 CONFIG_RT_USING_HOOK=y
 CONFIG_RT_HOOK_USING_FUNC_PTR=y
@@ -560,7 +561,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_FREEMODBUS is not set
 # CONFIG_PKG_USING_NANOPB is not set
 # CONFIG_PKG_USING_WIFI_HOST_DRIVER is not set
-# CONFIG_PKG_USING_ESP_HOSTED is not set
 
 #
 # Wi-Fi
@@ -666,9 +666,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_MATTER_ADAPTATION_LAYER is not set
 # CONFIG_PKG_USING_LHC_MODBUS is not set
 # CONFIG_PKG_USING_QMODBUS is not set
-# CONFIG_PKG_USING_PNET is not set
-# CONFIG_PKG_USING_OPENER is not set
-# CONFIG_PKG_USING_FREEMQTT is not set
 # end of IoT - internet of things
 
 #
@@ -696,7 +693,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_JSMN is not set
 # CONFIG_PKG_USING_AGILE_JSMN is not set
 # CONFIG_PKG_USING_PARSON is not set
-# CONFIG_PKG_USING_RYAN_JSON is not set
 # end of JSON: JavaScript Object Notation, a lightweight data-interchange format
 
 #
@@ -758,7 +754,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # tools packages
 #
 # CONFIG_PKG_USING_CMBACKTRACE is not set
-# CONFIG_PKG_USING_MCOREDUMP is not set
 # CONFIG_PKG_USING_EASYFLASH is not set
 # CONFIG_PKG_USING_EASYLOGGER is not set
 # CONFIG_PKG_USING_SYSTEMVIEW is not set
@@ -802,9 +797,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_ARMV7M_DWT_TOOL is not set
 # CONFIG_PKG_USING_VOFA_PLUS is not set
 # CONFIG_PKG_USING_ZDEBUG is not set
-# CONFIG_PKG_USING_RVBACKTRACE is not set
-# CONFIG_PKG_USING_HPATCHLITE is not set
-# CONFIG_PKG_USING_THREAD_METRIC is not set
 # end of tools packages
 
 #
@@ -816,6 +808,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 #
 # CONFIG_PKG_USING_RT_MEMCPY_CM is not set
 # CONFIG_PKG_USING_RT_KPRINTF_THREADSAFE is not set
+# CONFIG_PKG_USING_RT_VSNPRINTF_FULL is not set
 # end of enhanced kernel services
 
 # CONFIG_PKG_USING_AUNITY is not set
@@ -833,6 +826,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 #
 # CONFIG_PKG_USING_CMSIS_5 is not set
 # CONFIG_PKG_USING_CMSIS_CORE is not set
+# CONFIG_PKG_USING_CMSIS_DSP is not set
 # CONFIG_PKG_USING_CMSIS_NN is not set
 # CONFIG_PKG_USING_CMSIS_RTOS1 is not set
 # CONFIG_PKG_USING_CMSIS_RTOS2 is not set
@@ -884,21 +878,18 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_ARM_2D is not set
 # CONFIG_PKG_USING_MCUBOOT is not set
 # CONFIG_PKG_USING_TINYUSB is not set
+# CONFIG_PKG_USING_CHERRYUSB is not set
 # CONFIG_PKG_USING_KMULTI_RTIMER is not set
 # CONFIG_PKG_USING_TFDB is not set
 # CONFIG_PKG_USING_QPC is not set
 # CONFIG_PKG_USING_AGILE_UPGRADE is not set
 # CONFIG_PKG_USING_FLASH_BLOB is not set
 # CONFIG_PKG_USING_MLIBC is not set
 # CONFIG_PKG_USING_TASK_MSG_BUS is not set
-# CONFIG_PKG_USING_UART_FRAMEWORK is not set
 # CONFIG_PKG_USING_SFDB is not set
 # CONFIG_PKG_USING_RTP is not set
 # CONFIG_PKG_USING_REB is not set
-# CONFIG_PKG_USING_RMP is not set
 # CONFIG_PKG_USING_R_RHEALSTONE is not set
-# CONFIG_PKG_USING_HEARTBEAT is not set
-# CONFIG_PKG_USING_MICRO_ROS_RTTHREAD_PACKAGE is not set
 # end of system packages
 
 #
@@ -912,44 +903,10 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 #
 # STM32 HAL & SDK Drivers
 #
-# CONFIG_PKG_USING_STM32F0_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32F0_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32F1_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32F1_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32F2_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32F2_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32F3_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32F3_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32F7_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32F7_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32G0_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32G0_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32G4_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32G4_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32H5_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32H5_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32H7_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32H7_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32H7RS_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32H7RS_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32L0_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32L0_CMSIS_DRIVER is not set
 # CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
 # CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32L5_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32L5_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32U5_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32U5_CMSIS_DRIVER is not set
 # CONFIG_PKG_USING_STM32WB55_SDK is not set
 # CONFIG_PKG_USING_STM32_SDIO is not set
-# CONFIG_PKG_USING_STM32WL_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32WL_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32WB_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32WB_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_STM32MP1_M4_HAL_DRIVER is not set
-# CONFIG_PKG_USING_STM32MP1_M4_CMSIS_DRIVER is not set
 # end of STM32 HAL & SDK Drivers
 
 #
@@ -981,81 +938,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_NRF5X_SDK is not set
 # CONFIG_PKG_USING_NRFX is not set
 # CONFIG_PKG_USING_NUCLEI_SDK is not set
-# CONFIG_PKG_USING_RASPBERRYPI_PICO_RP2350_SDK is not set
 # CONFIG_PKG_USING_RASPBERRYPI_PICO_SDK is not set
-# CONFIG_PKG_USING_MM32 is not set
-
-#
-# WCH HAL & SDK Drivers
-#
-# CONFIG_PKG_USING_CH32V20x_SDK is not set
-# CONFIG_PKG_USING_CH32V307_SDK is not set
-# end of WCH HAL & SDK Drivers
-
-#
-# AT32 HAL & SDK Drivers
-#
-# CONFIG_PKG_USING_AT32A403A_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32A403A_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32A423_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32A423_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F45x_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F45x_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F402_405_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F402_405_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F403A_407_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F403A_407_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F413_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F413_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F415_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F415_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F421_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F421_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F423_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F423_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F425_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F425_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32F435_437_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32F435_437_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_AT32M412_416_HAL_DRIVER is not set
-# CONFIG_PKG_USING_AT32M412_416_CMSIS_DRIVER is not set
-# end of AT32 HAL & SDK Drivers
-
-#
-# HC32 DDL Drivers
-#
-# CONFIG_PKG_USING_HC32F3_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_HC32F3_SERIES_DRIVER is not set
-# CONFIG_PKG_USING_HC32F4_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_HC32F4_SERIES_DRIVER is not set
-# end of HC32 DDL Drivers
-
-#
-# NXP HAL & SDK Drivers
-#
-# CONFIG_PKG_USING_NXP_MCX_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_NXP_MCX_SERIES_DRIVER is not set
-# CONFIG_PKG_USING_NXP_LPC_DRIVER is not set
-# CONFIG_PKG_USING_NXP_LPC55S_DRIVER is not set
-# CONFIG_PKG_USING_NXP_IMX6SX_DRIVER is not set
-# CONFIG_PKG_USING_NXP_IMX6UL_DRIVER is not set
-# CONFIG_PKG_USING_NXP_IMXRT_DRIVER is not set
-# end of NXP HAL & SDK Drivers
-
-#
-# NUVOTON Drivers
-#
-# CONFIG_PKG_USING_NUVOTON_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_NUVOTON_SERIES_DRIVER is not set
-# CONFIG_PKG_USING_NUVOTON_ARM926_LIB is not set
-# end of NUVOTON Drivers
-
-#
-# GD32 Drivers
-#
-# CONFIG_PKG_USING_GD32_ARM_CMSIS_DRIVER is not set
-# CONFIG_PKG_USING_GD32_ARM_SERIES_DRIVER is not set
-# end of GD32 Drivers
 # end of HAL & SDK Drivers
 
 #
@@ -1093,17 +976,14 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_BMI088 is not set
 # CONFIG_PKG_USING_HMC5883 is not set
 # CONFIG_PKG_USING_MAX6675 is not set
-# CONFIG_PKG_USING_MAX31855 is not set
 # CONFIG_PKG_USING_TMP1075 is not set
 # CONFIG_PKG_USING_SR04 is not set
 # CONFIG_PKG_USING_CCS811 is not set
 # CONFIG_PKG_USING_PMSXX is not set
 # CONFIG_PKG_USING_RT3020 is not set
 # CONFIG_PKG_USING_MLX90632 is not set
-# CONFIG_PKG_USING_MLX90382 is not set
 # CONFIG_PKG_USING_MLX90393 is not set
 # CONFIG_PKG_USING_MLX90392 is not set
-# CONFIG_PKG_USING_MLX90394 is not set
 # CONFIG_PKG_USING_MLX90397 is not set
 # CONFIG_PKG_USING_MS5611 is not set
 # CONFIG_PKG_USING_MAX31865 is not set
@@ -1129,9 +1009,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_ICM20608 is not set
 # CONFIG_PKG_USING_PAJ7620 is not set
 # CONFIG_PKG_USING_STHS34PF80 is not set
-# CONFIG_PKG_USING_P3T1755 is not set
-# CONFIG_PKG_USING_QMI8658 is not set
-# CONFIG_PKG_USING_ICM20948 is not set
 # end of sensors drivers
 
 #
@@ -1220,14 +1097,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_SYSTEM_RUN_LED is not set
 # CONFIG_PKG_USING_BT_MX01 is not set
 # CONFIG_PKG_USING_RGPOWER is not set
-# CONFIG_PKG_USING_BT_MX02 is not set
-# CONFIG_PKG_USING_GC9A01 is not set
-# CONFIG_PKG_USING_IK485 is not set
-# CONFIG_PKG_USING_SERVO is not set
-# CONFIG_PKG_USING_SEAN_WS2812B is not set
-# CONFIG_PKG_USING_IC74HC165 is not set
-# CONFIG_PKG_USING_IST8310 is not set
-# CONFIG_PKG_USING_ST7789_SPI is not set
 # CONFIG_PKG_USING_SPI_TOOLS is not set
 # end of peripheral libraries and drivers
 
@@ -1244,7 +1113,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_QUEST is not set
 # CONFIG_PKG_USING_NAXOS is not set
 # CONFIG_PKG_USING_R_TINYMAIX is not set
-# CONFIG_PKG_USING_LLMCHAT is not set
 # end of AI packages
 
 #
@@ -1315,7 +1183,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_KI is not set
 # CONFIG_PKG_USING_ARMv7M_DWT is not set
 # CONFIG_PKG_USING_CRCLIB is not set
-# CONFIG_PKG_USING_LIBCRC is not set
 # CONFIG_PKG_USING_LWGPS is not set
 # CONFIG_PKG_USING_STATE_MACHINE is not set
 # CONFIG_PKG_USING_DESIGN_PATTERN is not set
@@ -1326,7 +1193,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_SOEM is not set
 # CONFIG_PKG_USING_QPARAM is not set
 # CONFIG_PKG_USING_CorevMCU_CLI is not set
-# CONFIG_PKG_USING_DRMP is not set
 # end of miscellaneous packages
 
 #
@@ -1340,7 +1206,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
 # CONFIG_PKG_USING_ARDUINO_MSGQ_C_CPP_DEMO is not set
 # CONFIG_PKG_USING_ARDUINO_SKETCH_LOADER_DEMO is not set
 # CONFIG_PKG_USING_ARDUINO_ULTRASOUND_RADAR is not set
-# CONFIG_PKG_USING_ARDUINO_RTDUINO_SENSORFUSION_SHIELD is not set
 # CONFIG_PKG_USING_ARDUINO_NINEINONE_SENSOR_SHIELD is not set
 # CONFIG_PKG_USING_ARDUINO_SENSOR_KIT is not set
 # CONFIG_PKG_USING_ARDUINO_MATLAB_SUPPORT is not set

bsp/qemu-virt64-riscv/rtconfig.h

@@ -78,6 +78,7 @@
 #define RT_THREAD_PRIORITY_32
 #define RT_THREAD_PRIORITY_MAX 32
 #define RT_TICK_PER_SECOND 100
+#define RT_TICK_USING_64BIT
 #define RT_USING_OVERFLOW_CHECK
 #define RT_USING_HOOK
 #define RT_HOOK_USING_FUNC_PTR
@@ -443,30 +444,6 @@
 /* Kendryte SDK */
 
 /* end of Kendryte SDK */
-
-/* WCH HAL & SDK Drivers */
-
-/* end of WCH HAL & SDK Drivers */
-
-/* AT32 HAL & SDK Drivers */
-
-/* end of AT32 HAL & SDK Drivers */
-
-/* HC32 DDL Drivers */
-
-/* end of HC32 DDL Drivers */
-
-/* NXP HAL & SDK Drivers */
-
-/* end of NXP HAL & SDK Drivers */
-
-/* NUVOTON Drivers */
-
-/* end of NUVOTON Drivers */
-
-/* GD32 Drivers */
-
-/* end of GD32 Drivers */
 /* end of HAL & SDK Drivers */
 
 /* sensors drivers */

include/rtdef.h

@@ -106,7 +106,11 @@ extern "C" {
 #define RT_UINT64_MAX                   0xFFFFFFFFFFFFFFFFULL /**< Maximum number of UINT64 */
 #endif /* RT_USING_LIBC */
 
+#ifdef RT_TICK_USING_64BIT
+#define RT_TICK_MAX                     RT_UINT64_MAX   /**< Maximum number of tick */
+#else
 #define RT_TICK_MAX                     RT_UINT32_MAX   /**< Maximum number of tick */
+#endif /* RT_TICK_USING_64BIT */
 
 /* maximum value of ipc type */
 #define RT_SEM_VALUE_MAX                RT_UINT16_MAX   /**< Maximum number of semaphore .value */

include/rttypes.h

@@ -88,7 +88,13 @@ typedef rt_ubase_t                       rt_uintptr_t;   /**< Type for unsigned
 #endif /* defined(RT_USING_LIBC) && !defined(RT_USING_NANO) */
 
 typedef rt_base_t                       rt_err_t;       /**< Type for error number */
+
+#ifdef RT_TICK_USING_64BIT
+typedef rt_uint64_t                     rt_tick_t;      /**< Type for tick count */
+#else
 typedef rt_uint32_t                     rt_tick_t;      /**< Type for tick count */
+#endif /* RT_TICK_USING_64BIT */
+
 typedef rt_base_t                       rt_flag_t;      /**< Type for flags */
 typedef rt_ubase_t                      rt_dev_t;       /**< Type for device */
 typedef rt_base_t                       rt_off_t;       /**< Type for offset */

src/Kconfig

@@ -116,6 +116,12 @@ config RT_TICK_PER_SECOND
     help
         System's tick frequency, Hz.
 
+config RT_TICK_USING_64BIT
+    bool "Using 64-bit integer for rt_tick_t"
+    default n
+    help
+        Using long long as tick unit, this is useful when the tick frequency is very high or long running device.
+
 config RT_USING_OVERFLOW_CHECK
     bool "Using stack overflow checking"
     default y if RT_USING_DEBUG