bcm64: do not use OTP_BOOTMODE_REG to determine OSC frequency (thanks richard miller)

[plan9front.git] / sys / src / 9 / bcm64 / pi3

diff --git a/sys/src/9/bcm64/pi3 b/sys/src/9/bcm64/pi3
index 059f88073320eff92c63ec2f02fa6ed86ae9bf05..288ecd136d8e1ae884dc43a121b950cb799a5ba0 100644 (file)
--- a/sys/src/9/bcm64/pi3
+++ b/sys/src/9/bcm64/pi3
@@ -21,6 +21,7 @@ dev
 #      gpio    gpio
        sd
        usb
+       dtracy
 
 link
        loopbackmedium
@@ -42,6 +43,10 @@ misc
        sdmmc   emmc
        dma
        vcore
+       irq
+
+       dtracysys
+       dtracytimer
 
 port
        int cpuserver = 0;