pico]OS configuration file More...
Go to the source code of this file.
pico]OS configuration file
This file is originally from the pico]OS realtime operating system (http://picoos.sourceforge.net).
CVS-ID