nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq9hcsfvx2d7nu5d4qz5fmusjrne3n0f0vzg0cet7t4x9ucszasaps77ggeh I don't know which example I based my code on (had an RNG exmaple), but e.g. this page: https://wiki.osdev.org/Programmable_Interval_Timer#Reading_The_Current_Count