Skip to content

Commit 897ba36

Browse files
polarvidpolarvid
authored
[fix] compilation error from rpi (#7143)
* [fix] compile error from rpi
1 parent c143842 commit 897ba36

File tree

7 files changed

+248
-233
lines changed

7 files changed

+248
-233
lines changed

‎bsp/raspberry-pi/raspi3-32/.config

Lines changed: 189 additions & 68 deletions
Original file line numberDiff line numberDiff line change
@@ -58,12 +58,13 @@ CONFIG_RT_USING_MESSAGEQUEUE=y
5858
#
5959
# Memory Management
6060
#
61+
CONFIG_RT_PAGE_MAX_ORDER=11
6162
CONFIG_RT_USING_MEMPOOL=y
6263
CONFIG_RT_USING_SMALL_MEM=y
6364
# CONFIG_RT_USING_SLAB is not set
6465
CONFIG_RT_USING_MEMHEAP=y
6566
CONFIG_RT_MEMHEAP_FAST_MODE=y
66-
# CONFIG_RT_MEMHEAP_BSET_MODE is not set
67+
# CONFIG_RT_MEMHEAP_BEST_MODE is not set
6768
CONFIG_RT_USING_SMALL_MEM_AS_HEAP=y
6869
# CONFIG_RT_USING_MEMHEAP_AS_HEAP is not set
6970
# CONFIG_RT_USING_SLAB_AS_HEAP is not set
@@ -78,20 +79,18 @@ CONFIG_RT_USING_HEAP=y
7879
#
7980
CONFIG_RT_USING_DEVICE=y
8081
CONFIG_RT_USING_DEVICE_OPS=y
82+
# CONFIG_RT_USING_DM is not set
8183
# CONFIG_RT_USING_INTERRUPT_INFO is not set
8284
CONFIG_RT_USING_CONSOLE=y
8385
CONFIG_RT_CONSOLEBUF_SIZE=128
8486
CONFIG_RT_CONSOLE_DEVICE_NAME="uart1"
85-
CONFIG_RT_VER_NUM=0x40101
86-
CONFIG_ARCH_ARM=y
87-
CONFIG_RT_USING_CPU_FFS=y
88-
CONFIG_ARCH_ARM_CORTEX_A=y
89-
# CONFIG_RT_SMP_AUTO_BOOT is not set
90-
# CONFIG_RT_USING_GIC_V2 is not set
91-
# CONFIG_RT_USING_GIC_V3 is not set
92-
CONFIG_RT_NO_USING_GIC=y
93-
CONFIG_ARCH_ARM_CORTEX_A7=y
87+
CONFIG_RT_VER_NUM=0x50000
88+
# CONFIG_RT_USING_STDC_ATOMIC is not set
89+
# CONFIG_RT_USING_CACHE is not set
90+
# CONFIG_RT_USING_HW_ATOMIC is not set
91+
# CONFIG_ARCH_ARM_BOOTWITH_FLUSH_CACHE is not set
9492
# CONFIG_ARCH_CPU_STACK_GROWS_UPWARD is not set
93+
# CONFIG_RT_USING_CPU_FFS is not set
9594

9695
#
9796
# RT-Thread Components
@@ -148,14 +147,16 @@ CONFIG_RT_DFS_ELM_REENTRANT=y
148147
CONFIG_RT_DFS_ELM_MUTEX_TIMEOUT=3000
149148
CONFIG_RT_USING_DFS_DEVFS=y
150149
# CONFIG_RT_USING_DFS_ROMFS is not set
150+
# CONFIG_RT_USING_DFS_CROMFS is not set
151151
# CONFIG_RT_USING_DFS_RAMFS is not set
152+
# CONFIG_RT_USING_DFS_TMPFS is not set
152153
# CONFIG_RT_USING_FAL is not set
153-
# CONFIG_RT_USING_LWP is not set
154154

155155
#
156156
# Device Drivers
157157
#
158158
CONFIG_RT_USING_DEVICE_IPC=y
159+
CONFIG_RT_UNAMED_PIPE_NUMBER=64
159160
# CONFIG_RT_USING_SYSTEM_WORKQUEUE is not set
160161
CONFIG_RT_USING_SERIAL=y
161162
CONFIG_RT_USING_SERIAL_V1=y
@@ -172,10 +173,14 @@ CONFIG_RT_USING_I2C=y
172173
CONFIG_RT_USING_PIN=y
173174
# CONFIG_RT_USING_ADC is not set
174175
# CONFIG_RT_USING_DAC is not set
176+
# CONFIG_RT_USING_NULL is not set
177+
# CONFIG_RT_USING_ZERO is not set
178+
# CONFIG_RT_USING_RANDOM is not set
175179
# CONFIG_RT_USING_PWM is not set
176180
# CONFIG_RT_USING_MTD_NOR is not set
177181
# CONFIG_RT_USING_MTD_NAND is not set
178182
# CONFIG_RT_USING_PM is not set
183+
# CONFIG_RT_USING_FDT is not set
179184
CONFIG_RT_USING_RTC=y
180185
# CONFIG_RT_USING_ALARM is not set
181186
# CONFIG_RT_USING_SOFT_RTC is not set
@@ -197,10 +202,13 @@ CONFIG_RT_USING_WDT=y
197202
# CONFIG_RT_USING_AUDIO is not set
198203
# CONFIG_RT_USING_SENSOR is not set
199204
# CONFIG_RT_USING_TOUCH is not set
205+
# CONFIG_RT_USING_LCD is not set
200206
# CONFIG_RT_USING_HWCRYPTO is not set
201207
# CONFIG_RT_USING_PULSE_ENCODER is not set
202208
# CONFIG_RT_USING_INPUT_CAPTURE is not set
209+
# CONFIG_RT_USING_DEV_BUS is not set
203210
# CONFIG_RT_USING_WIFI is not set
211+
# CONFIG_RT_USING_VIRTIO is not set
204212

205213
#
206214
# Using USB
@@ -251,6 +259,7 @@ CONFIG_RT_LIBC_DEFAULT_TIMEZONE=8
251259
# CONFIG_RT_USING_ULOG is not set
252260
# CONFIG_RT_USING_UTEST is not set
253261
# CONFIG_RT_USING_VAR_EXPORT is not set
262+
CONFIG_RT_USING_ADT=y
254263
# CONFIG_RT_USING_RT_LINK is not set
255264
# CONFIG_RT_USING_VBUS is not set
256265

@@ -431,7 +440,6 @@ CONFIG_RT_LIBC_DEFAULT_TIMEZONE=8
431440
# CONFIG_PKG_USING_VT100 is not set
432441
# CONFIG_PKG_USING_QRCODE is not set
433442
# CONFIG_PKG_USING_GUIENGINE is not set
434-
# CONFIG_PKG_USING_PERSIMMON is not set
435443

436444
#
437445
# tools packages
@@ -479,6 +487,7 @@ CONFIG_RT_LIBC_DEFAULT_TIMEZONE=8
479487
# CONFIG_PKG_USING_HASH_MATCH is not set
480488
# CONFIG_PKG_USING_FIRE_PID_CURVE is not set
481489
# CONFIG_PKG_USING_ARMV7M_DWT_TOOL is not set
490+
# CONFIG_PKG_USING_VOFA_PLUS is not set
482491

483492
#
484493
# system packages
@@ -514,7 +523,6 @@ CONFIG_RT_LIBC_DEFAULT_TIMEZONE=8
514523
# CONFIG_PKG_USING_UC_CLK is not set
515524
# CONFIG_PKG_USING_UC_COMMON is not set
516525
# CONFIG_PKG_USING_UC_MODBUS is not set
517-
# CONFIG_PKG_USING_RTDUINO is not set
518526
# CONFIG_PKG_USING_FREERTOS_WRAPPER is not set
519527
# CONFIG_PKG_USING_CAIRO is not set
520528
# CONFIG_PKG_USING_PIXMAN is not set
@@ -549,6 +557,7 @@ CONFIG_RT_LIBC_DEFAULT_TIMEZONE=8
549557
# CONFIG_PKG_USING_KMULTI_RTIMER is not set
550558
# CONFIG_PKG_USING_TFDB is not set
551559
# CONFIG_PKG_USING_QPC is not set
560+
# CONFIG_PKG_USING_AGILE_UPGRADE is not set
552561

553562
#
554563
# peripheral libraries and drivers
@@ -717,61 +726,173 @@ CONFIG_RT_LIBC_DEFAULT_TIMEZONE=8
717726
# CONFIG_PKG_USING_QPARAM is not set
718727

719728
#
720-
# Privated Packages of RealThread
721-
#
722-
# CONFIG_PKG_USING_CODEC is not set
723-
# CONFIG_PKG_USING_PLAYER is not set
724-
# CONFIG_PKG_USING_MPLAYER is not set
725-
# CONFIG_PKG_USING_PERSIMMON_SRC is not set
726-
# CONFIG_PKG_USING_JS_PERSIMMON is not set
727-
# CONFIG_PKG_USING_JERRYSCRIPT_WIN32 is not set
728-
729-
#
730-
# Network Utilities
731-
#
732-
# CONFIG_PKG_USING_WICED is not set
733-
# CONFIG_PKG_USING_CLOUDSDK is not set
734-
# CONFIG_PKG_USING_POWER_MANAGER is not set
735-
# CONFIG_PKG_USING_RT_OTA is not set
736-
# CONFIG_PKG_USING_RTINSIGHT is not set
737-
# CONFIG_PKG_USING_SMARTCONFIG is not set
738-
# CONFIG_PKG_USING_RTX is not set
739-
# CONFIG_RT_USING_TESTCASE is not set
740-
# CONFIG_PKG_USING_NGHTTP2 is not set
741-
# CONFIG_PKG_USING_AVS is not set
742-
# CONFIG_PKG_USING_ALI_LINKKIT is not set
743-
# CONFIG_PKG_USING_STS is not set
744-
# CONFIG_PKG_USING_DLMS is not set
745-
# CONFIG_PKG_USING_AUDIO_FRAMEWORK is not set
746-
# CONFIG_PKG_USING_ZBAR is not set
747-
# CONFIG_PKG_USING_MCF is not set
748-
# CONFIG_PKG_USING_URPC is not set
749-
# CONFIG_PKG_USING_DCM is not set
750-
# CONFIG_PKG_USING_EMQ is not set
751-
# CONFIG_PKG_USING_CFGM is not set
752-
# CONFIG_PKG_USING_RT_CMSIS_DAP is not set
753-
# CONFIG_PKG_USING_SMODULE is not set
754-
# CONFIG_PKG_USING_SNFD is not set
755-
# CONFIG_PKG_USING_UDBD is not set
756-
# CONFIG_PKG_USING_BENCHMARK is not set
757-
# CONFIG_PKG_USING_UBJSON is not set
758-
# CONFIG_PKG_USING_DATATYPE is not set
759-
# CONFIG_PKG_USING_FASTFS is not set
760-
# CONFIG_PKG_USING_RIL is not set
761-
# CONFIG_PKG_USING_WATCH_DCM_SVC is not set
762-
# CONFIG_PKG_USING_WATCH_APP_FWK is not set
763-
# CONFIG_PKG_USING_GUI_TEST is not set
764-
# CONFIG_PKG_USING_PMEM is not set
765-
# CONFIG_PKG_USING_LWRDP is not set
766-
# CONFIG_PKG_USING_MASAN is not set
767-
# CONFIG_PKG_USING_BSDIFF_LIB is not set
768-
# CONFIG_PKG_USING_PRC_DIFF is not set
769-
770-
#
771-
# RT-Thread Smart
772-
#
773-
# CONFIG_PKG_USING_UKERNEL is not set
774-
# CONFIG_PKG_USING_TRACE_AGENT is not set
729+
# Arduino libraries
730+
#
731+
# CONFIG_PKG_USING_RTDUINO is not set
732+
733+
#
734+
# Projects
735+
#
736+
# CONFIG_PKG_USING_ARDUINO_ULTRASOUND_RADAR is not set
737+
# CONFIG_PKG_USING_ARDUINO_SENSOR_KIT is not set
738+
# CONFIG_PKG_USING_ARDUINO_MATLAB_SUPPORT is not set
739+
740+
#
741+
# Sensors
742+
#
743+
# CONFIG_PKG_USING_ARDUINO_SEEED_BMP280 is not set
744+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_ADXL375 is not set
745+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_VL53L0X is not set
746+
# CONFIG_PKG_USING_ARDUINO_SEEED_LIS3DHTR is not set
747+
# CONFIG_PKG_USING_ARDUINO_SEEED_DHT is not set
748+
# CONFIG_PKG_USING_ARDUINO_CAPACITIVESENSOR is not set
749+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SENSOR is not set
750+
# CONFIG_PKG_USING_ADAFRUIT_MAX31855 is not set
751+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MAX31865 is not set
752+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MAX31856 is not set
753+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MLX90614 is not set
754+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LSM9DS1 is not set
755+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AHTX0 is not set
756+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LSM9DS0 is not set
757+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BMP280 is not set
758+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_ADT7410 is not set
759+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BMP085 is not set
760+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BME680 is not set
761+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MCP9808 is not set
762+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MCP4728 is not set
763+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_INA219 is not set
764+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LTR390 is not set
765+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_ADXL345 is not set
766+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_DHT is not set
767+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MCP9600 is not set
768+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LSM6DS is not set
769+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BNO055 is not set
770+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MAX1704X is not set
771+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MMC56X3 is not set
772+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MLX90393 is not set
773+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MLX90395 is not set
774+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_ICM20X is not set
775+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_DPS310 is not set
776+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_HTS221 is not set
777+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SHT4X is not set
778+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SHT31 is not set
779+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_ADXL343 is not set
780+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BME280 is not set
781+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AS726X is not set
782+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AMG88XX is not set
783+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AM2320 is not set
784+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AM2315 is not set
785+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LTR329_LTR303 is not set
786+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BMP085_UNIFIED is not set
787+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BMP183 is not set
788+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BMP183_UNIFIED is not set
789+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BMP3XX is not set
790+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MS8607 is not set
791+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LIS3MDL is not set
792+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MLX90640 is not set
793+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MMA8451 is not set
794+
# CONFIG_PKG_USING_ADAFRUIT_MSA301 is not set
795+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MPL115A2 is not set
796+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BNO08X is not set
797+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BNO08X_RVC is not set
798+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LIS2MDL is not set
799+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LSM303DLH_MAG is not set
800+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LC709203F is not set
801+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_CAP1188 is not set
802+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_CCS811 is not set
803+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_NAU7802 is not set
804+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LIS331 is not set
805+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LPS2X is not set
806+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LPS35HW is not set
807+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LSM303_ACCEL is not set
808+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_LIS3DH is not set
809+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_PCF8591 is not set
810+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MPL3115A2 is not set
811+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MPR121 is not set
812+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MPRLS is not set
813+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MPU6050 is not set
814+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_PCT2075 is not set
815+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_PM25AQI is not set
816+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_EMC2101 is not set
817+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_FXAS21002C is not set
818+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SCD30 is not set
819+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_FXOS8700 is not set
820+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_HMC5883_UNIFIED is not set
821+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SGP30 is not set
822+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TMP006 is not set
823+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TLA202X is not set
824+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TCS34725 is not set
825+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SI7021 is not set
826+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SI1145 is not set
827+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SGP40 is not set
828+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SHTC3 is not set
829+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_HDC1000 is not set
830+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_HTU21DF is not set
831+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AS7341 is not set
832+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_HTU31D is not set
833+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_INA260 is not set
834+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TMP007_LIBRARY is not set
835+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_L3GD20 is not set
836+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TMP117 is not set
837+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TSC2007 is not set
838+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TSL2561 is not set
839+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TSL2591_LIBRARY is not set
840+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_VCNL4040 is not set
841+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_VEML6070 is not set
842+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_VEML6075 is not set
843+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_VEML7700 is not set
844+
845+
#
846+
# Display
847+
#
848+
# CONFIG_PKG_USING_ARDUINO_U8G2 is not set
849+
850+
#
851+
# Timing
852+
#
853+
# CONFIG_PKG_USING_ARDUINO_MSTIMER2 is not set
854+
855+
#
856+
# Data Processing
857+
#
858+
# CONFIG_PKG_USING_ARDUINO_KALMANFILTER is not set
859+
# CONFIG_PKG_USING_ARDUINO_ARDUINOJSON is not set
860+
861+
#
862+
# Data Storage
863+
#
864+
865+
#
866+
# Communication
867+
#
868+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_PN532 is not set
869+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_SI4713 is not set
870+
871+
#
872+
# Device Control
873+
#
874+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_PCF8574 is not set
875+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_PCA9685 is not set
876+
877+
#
878+
# Other
879+
#
880+
881+
#
882+
# Signal IO
883+
#
884+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BUSIO is not set
885+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_TCA8418 is not set
886+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MCP23017 is not set
887+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_ADS1X15 is not set
888+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_AW9523 is not set
889+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MCP3008 is not set
890+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_MCP4725 is not set
891+
# CONFIG_PKG_USING_ARDUINO_ADAFRUIT_BD3491FS is not set
892+
893+
#
894+
# Uncategorized
895+
#
775896
CONFIG_BCM2836_SOC=y
776897

777898
#

‎bsp/raspberry-pi/raspi3-32/Kconfig

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@ source "$PKGS_DIR/Kconfig"
2020

2121
config BCM2836_SOC
2222
bool
23-
select ARCH_ARM_CORTEX_A7
2423
select RT_USING_COMPONENTS_INIT
2524
select RT_USING_USER_MAIN
2625
default y

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy