projects / pintos-anon / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Use 9600 bps for Pintos serial, to match the speed used by the loader.
[pintos-anon] / src / tests / main.h
1 #ifndef TESTS_MAIN_H
2 #define TESTS_MAIN_H
3
4 void test_main (void);
5
6 #endif /* tests/main.h */
Pintos public repository