| 155,6 → 155,7 |
|---|
| generic/src/ddi/ddi.c \ |
| generic/src/ddi/irq.c \ |
| generic/src/ddi/device.c \ |
| generic/src/ddi/tasklet.c \ |
| generic/src/interrupt/interrupt.c \ |
| generic/src/main/main.c \ |
| generic/src/main/kinit.c \ |
| 196,6 → 197,7 |
|---|
| generic/src/synch/condvar.c \ |
| generic/src/synch/rwlock.c \ |
| generic/src/synch/mutex.c \ |
| generic/src/synch/rcu.c \ |
| generic/src/synch/semaphore.c \ |
| generic/src/synch/waitq.c \ |
| generic/src/synch/futex.c \ |
| 238,7 → 240,8 |
|---|
| test/synch/semaphore2.c \ |
| test/print/print1.c \ |
| test/thread/thread1.c \ |
| test/sysinfo/sysinfo1.c |
| test/sysinfo/sysinfo1.c \ |
| test/tasklet/tasklet1.c |
| endif |
| |
| ## Experimental features |