Add PC speaker driver and connect it to '\a' in the VGA console.
[pintos-anon] / src / devices / pit.h
1 #ifndef DEVICES_PIT_H
2 #define DEVICES_PIT_H
3
4 #include <stdint.h>
5
6 void pit_configure_channel (int channel, int mode, int frequency);
7
8 #endif /* devices/pit.h */