Custom Query (39 matches)

When makeing two kernels with different configuration files in a row, the build system does strange mix for the second one. This is because the dependency tracking is done only on the time of files, and not path.

We (I) should add a dependency tracking on the contents, or the name of the file...

Network devices use a dispatch thread. For now, device drivers directly create a pthread. This is bad because:

• drivers depend on pthread
• each driver has to recode the dispatch thread

Numerous drivers (chardev common functions, libnetwork's dispatch, …) use a semaphore-like service, reimplemented from scratch each time. This should be factored in mutek/ common services.