Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More trailing whilespace removal | Gregory Nutt | 2014-04-13 | 1 | -9/+9 |
* | Rename _TCB to struct tcb_s | patacongo | 2013-02-04 | 1 | -7/+7 |
* | Fix STM32 F2/F4 SDIO clocking; Clean-up files in sched/ directory | patacongo | 2012-07-14 | 1 | -68/+71 |
* | Remove executable property from many files | patacongo | 2011-08-19 | 1 | -0/+0 |
* | Macro clock_systimer replaces direct access to g_system_timer variable | patacongo | 2011-04-13 | 1 | -3/+3 |
* | Add paging debug instrumentation | patacongo | 2010-08-31 | 1 | -3/+27 |
* | Fix demand-paging compilation errors | patacongo | 2010-08-22 | 1 | -2/+2 |
* | Add logic to drop the priority of the page fill task | patacongo | 2010-08-15 | 1 | -31/+68 |
* | Minor design improvements | patacongo | 2010-08-15 | 1 | -49/+126 |
* | Completes demand paging core implementation | patacongo | 2010-08-15 | 1 | -0/+537 |