MicroPython Forum (Archive)

Code: Select all

import machine
import utime
print()
print("                           YYYY MM DD HH MM SS")
dateTime = (input ("Enter current date & time: "))+' 0 0'
givenTime = utime.mktime(list(map(int, tuple(dateTime.split(' ')))))

ctime=utime.localtime(givenTime)

# ok insert data into the rtc

setup_0 = (ctime[0] << 12) | (ctime[1] << 8) | ctime[2]

def weekDay(year, month, day):
    offset = [0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334]
    afterFeb = 1
    if month > 2: afterFeb = 0
    aux = year - 1700 - afterFeb
    # dayOfWeek for 1700/1/1 = 5, Friday
    dayOfWeek  = 5
    # partial sum of days betweem current date and 1700/1/1
    dayOfWeek += (aux + afterFeb) * 365                  
    # leap year correction    
    dayOfWeek += aux // 4 - aux // 100 + (aux + 100) // 400     
    # sum monthly and day offsets
    dayOfWeek += offset[month - 1] + (day - 1)               
    dayOfWeek %= 7
    return int(dayOfWeek)

setup_1 =  (ctime[3] << 16) | (ctime[4] << 8) | ctime[5]
setup_1 =  setup_1 |  (weekDay(ctime[0],ctime[1],ctime[2]) << 24)
# Be aware that RTC start at sunday=0
# and utime start dayofweek monday=0

# set rtc
machine.mem32[0x4005c004]= setup_0
machine.mem32[0x4005c008]= setup_1
machine.mem8[0x4005c00c] = machine.mem8[0x4005c00c] | 0x10

Code: Select all

#!/usr/bin/env python3
#
# Vendor:Product ID for Raspberry Pi Pico is 2E8A:0005
#
# see section 4.8 RTC of https://datasheets.raspberrypi.org/rp2040/rp2040-datasheet.pdf and in particular section 4.8.6 
# for the RTC_BASE address (0x4005C000) and details of the RD2040 setup registers used to program the RTC
#
from serial.tools import list_ports
import serial, time

picoPorts = list(list_ports.grep("2E8A:0005"))

utcTime = str( int(time.time()) )
pythonInject = [
    'import machine\r\n',
    'import utime\r\n',
    'rtc_base_mem = 0x4005c000\r\n',
    'atomic_bitmask_set = 0x2000\r\n',
    'led_onboard = machine.Pin(25, machine.Pin.OUT)\r\n',
    '(year,month,day,hour,minute,second,wday,yday)=utime.localtime('+utcTime+')'+'\r\n',
    'machine.mem32[rtc_base_mem + 4] = (year << 12) | (month  << 8) | day\r\n',
    'machine.mem32[rtc_base_mem + 8] = ((hour << 16) | (minute << 8) | second) | (((wday + 1) % 7) << 24)\r\n',
    'machine.mem32[rtc_base_mem + atomic_bitmask_set + 0xc] = 0x10\r\n',
    'for i in range(5):\r\n',
    '    led_onboard.toggle()\r\n',
    '    utime.sleep(0.03)\r\n',
    'led_onboard.value(0)\r\n'
    ]

if not picoPorts:
    print("No Raspberry Pi Pico found")
else:
    picoSerialPort = picoPorts[0].device
    with serial.Serial(picoSerialPort) as s:
        s.write(b'\x03')
        s.write(b'\x03')
        s.write(b'\x01')       
        for n in range(len(pythonInject)):
            s.write(bytes(pythonInject[n], 'ascii'))
        time.sleep(0.1) 
        s.write(b'\x04')
        s.write(b'\x02')
    print( 'Raspberry Pi Pico found at '+str(picoSerialPort)+'\r' )
    print( 'Host computer epoch synchronised over USB serial: '+utcTime+'\r' )

Code: Select all

python -m pip install pyserial

Code: Select all

/Users/davehylands/micropython/rshell> date; date -b pyboard
Host: Tue Feb  2 15:59:20 2021
pyboard: Tue Feb  2 15:59:20 2021