TIP: the pinetime specific drivers are located under Modules
Note: to get a feel, compile a program, for example
west build -p -b pinetime samples/bluetooth/peripheral -D CONF_FILE="prj.conf"
the pinetime contains an external 32Kz crystal
now you can have a look in the configurationfile (and modify if needed)
$ west build -t menuconfig
Modules --->
Board Selection (nRF52832-MDK) --->
Board Options --->
SoC/CPU/Configuration Selection (Nordic Semiconductor nRF52 series MCU) --->
Hardware Configuration --->
ARM Options --->
Architecture (ARM architecture) --->
General Architecture Options --->
[ ] Floating point ----
General Kernel Options --->
Device Drivers ---> **************SELECT THIS ONE***************************
C Library --->
Additional libraries --->
[*] Bluetooth --->
[ ] Console subsystem/support routines [EXPERIMENTAL] ----
[ ] C++ support for the application ----
System Monitoring Options --->
Debugging Options --->
[ ] Disk Interface ----
File Systems --->
-*- Logging --->
Management --->
Networking --->
[ ] IEEE 802.15.4 drivers options ----
(UART_0) Device Name of UART Device for UART Console
[*] Console drivers --->
[ ] Net loopback driver ----
[*] Serial Drivers --->
Interrupt Controllers --->
Timer Drivers --->
-*- Entropy Drivers --->
[*] GPIO Drivers --->
[ ] Shared interrupt driver ----
[ ] SPI hardware bus support ----
[ ] I2C Drivers ----
[ ] I2S bus drivers ----
[ ] PWM (Pulse Width Modulation) Drivers ----
[ ] Enable board pinmux driver ----
[ ] ADC drivers ----
[ ] Watchdog Support ----
[*] Hardware clock controller support ---> <<<<<<<<<<<<<<<<SELECT THIS ONE<<<<<<<<<<
[ ] Precision Time Protocol Clock driver support
[ ] IPM drivers ----
Max compiled-in log level for ipm (Info) --->
[ ] Flash hardware support ----
[ ] Sensor Drivers ----
Max compiled-in log level for clock control (Info) --->
[*] NRF Clock controller support ---> <<<<<<<<<<<<<<<<<<<<SELECT THIS ONE<<<<<<<<<<<