Providing efficient device driver support in the Fluke operating system presents novel challenges, which stem from two conflicting factors: (i) a design and maintenance requirement to reuse unmodified legacy device drivers, and (ii) the mismatch between the Fluke kernel's internal execution environment and the execution environment expected by these legacy device drivers. This thesis presents a solution to this conflict: a framework whose design is based on running device drivers as usermode servers, which resolves the fundamental execution environment mismatch. This approach

This thesis discusses the design and implementation of dtfs, a log-structured filesystem for Linux. dtfs features a generic core providing logging facilities that are filesystem-independent and a "filesystem personality" that borrows heavily from the Linux ext2 filesystem. Furthermore, the dtfs design supports the placement of multiple filesystems (even of different filesystem personalities) on top of one dtfs filesystem device and the creation of snapshots and different versions for these filesystems.

In this report we deal with an implementation of the architecture modelling technique. We describe architecture models, their features, and the way they should be used with the symbolic program exploration approach. We also show the reasons (motivation) why we choose this particular way of implementation for modelling different streaming multiprocessor architectures. Vladimir D. ˇZivković, LIACS- Leiden University architecture models, platforms, symbolic programs, SystemC, compiletime overlapping, run-time overlapping, operating system, inter-process communication, interrupt