Merge branch 'master' into patch-axel-7

seL4 · May 29, 2024 · e5c305a · e5c305a
2 parents 72796d9 + 1df49ec
commit e5c305a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/sel4test-driver/src/timer.h b/apps/sel4test-driver/src/timer.h
@@ -11,7 +11,7 @@
 
 #define TIMER_ID 0
 
-/* Timing related functions used only by in sel4test-driver */
+/* Timing related functions used only within sel4test-driver */
 void handle_timer_interrupts(driver_env_t env, seL4_Word badge);
 void wait_for_timer_interrupt(driver_env_t env);
 void timeout(driver_env_t env, uint64_t ns, timeout_type_t timeout);