Hi, I'm interested in getting information about the scheduler of rtlinux ? - How it computes time ?, Which resolution does it have ? (which timers does it use ?) - Does anyone have any idea of the scheduler's WCET ? - Is there any documentation about all this stuff ? Best Regards, Ramon
begin:vcard n:Costa-Castell�;Ramon tel;fax:+34 93 401 66 05 tel;work:+34 93 401 6657 x-mozilla-html:FALSE url:http://www.ioc.upc.es/~costa org:Institut d'Organitzaci� i Control de Sistemes Industrials (IOC);Enginyeria de Sistemes, Autom�tica i Inform�tica Industrial (ESAII) version:2.1 email;internet:[EMAIL PROTECTED] adr;quoted-printable:;;Universitat Polit=E8cnica de Catalunya (UPC)=0D=0AEscola T=E9cnica Superior d'Enginyeria Industrial de Barcelona (ETSEIB)=0D=0AAv. Diagonal 647, 11 (Despatx 11-8);Barcelona;CATALUNYA;08028;SPAIN x-mozilla-cpt:;-1 fn:Ramon Costa-Castell� end:vcard
