In order for interrupt-based wake-ups (as introduced by #1142) to work concurrently with time.Sleep, we need to make some per-board changes.

Previously, sleepTicks (the function used as an interface between the scheduler and the hardware timer) was defined to block until the timer completed, since there was nothing else to do. Now we need to change this so that it bails out when an interrup

Is your enhancement proposal related to a problem? Please describe.
Refer to: zephyrproject-rtos/zephyr#28932

Describe the solution you'd like
Refer to: zephyrproject-rtos/zephyr#28932 (comment)

Describe alternatives you've considered
NA

Additional context
NA

Resurrecting the second bullet from #1334

• Figure out how to fix favicon / logo more generally (here's a start https://github.com/tock/tock/tree/doc-updates)

Running this code causes D19 to idle high and not oscillate. Removing D30 from pins_temp corrects the issue. No errors are flagged. D30 and D19 share TC4_WO1, but have different TCC peripherals.

import board
import time
import pwmio

pins_temp = [ board.D30, board.D19]
pwm_pins = []
for pin in pins_temp:
    p = pwmio.PWMOut(pin, frequency=10, duty_cycle=0x7fff, variable_frequenc

Implement some test cases for standard memset()

In PROTECTED mode, the MPU is used to map regions of memory to supervisor- and/or user-accessible memory. Currently, that algorithm is very simple: The entire address range is made accessible in supervisor mode; a single MPU region is used to enable user-mode access in each user memory region.

Each MPU region must bit both of a power-of-two size and with an alignment in memory equal to the si