25 lines
473 B
C
25 lines
473 B
C
#include "../syscall.h"
|
|
#include <stdint.h>
|
|
|
|
static uint32_t time_ms(void) {
|
|
return (uint32_t)syscall(SYS_time_ms, 0);
|
|
}
|
|
|
|
static void wait_ms(uint32_t duration_ms) {
|
|
uint32_t start = time_ms();
|
|
while ((uint32_t)(time_ms() - start) < duration_ms) {
|
|
syscall(SYS_halt, 0);
|
|
}
|
|
}
|
|
|
|
int main(void) {
|
|
syscall(SYS_set_beep, 10000);
|
|
wait_ms(1000);
|
|
|
|
syscall(SYS_set_beep, 15000);
|
|
wait_ms(1000);
|
|
|
|
// syscall(SYS_set_beep, 0);
|
|
return 0;
|
|
}
|