chiark / gitweb /
set scheduler priority
authorian <ian>
Sat, 17 May 2008 15:46:32 +0000 (15:46 +0000)
committerian <ian>
Sat, 17 May 2008 15:46:32 +0000 (15:46 +0000)
commit4986ef49edb19d78a1d45b8d2d19bf2c50efe9a2
tree6429aaa4eeef84c6e975a7f44708f74282a32026
parent17f2414808d060c2a3e3c2170615b48b60707bc9
set scheduler priority
hostside/Makefile
hostside/realtime.c
hostside/realtime.h
hostside/rtprio.c