|
|
HelenOS packet filter
Buchar, Jan ; Děcký, Martin (advisor) ; Horký, Vojtěch (referee)
Packet filtering is an essential feature of any operating system that aims to function as a network router or gateway. This thesis aims to extend the HelenOS operating system to support this functionality. We analyze packet filters present in modern operating systems and implement a HelenOS service that provides a configurable and extendable packet filter. We also modify the HelenOS networking stack so that it allows an arbitrary service to function as a packet filter. We demonstrate the extendability of our implementation on a basic variant of the NAT mechanism. Powered by TCPDF (www.tcpdf.org)
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (advisor) ; Döbel, Björn (referee) ; Sojka, Michal (referee)
This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of general-purpose operating systems that would support state-of-the-art approaches and methods (such as verification of correctness) while at the same time focusing on practical relevance. The text of the thesis describes what specific means in terms of design (based on software components), implementation, development process and verification are used to achieve the primary goal. The thesis also evaluates the current state of HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
IEEE 802.11 wireless networking for HelenOS
Kolárik, Jan ; Děcký, Martin (advisor) ; Mareš, Martin (referee)
IEEE 802.11 (a.k.a. WiFi) is a popular wireless LAN specification. This thesis documents implementation of this standard within the experimental operating system HelenOS which differs from conventional operating systems with its microkernel-based design. First, the basic concepts of WiFi technology are described. Description of external tools used during development is following. Together with that, the chosen method of integrating the wireless framework into existing system is depicted. In the next chapter we analyse the implementation details of the work. There is thoroughly explained the structure of the driver for selected WiFi device and also the functionality of resulting IEEE 802.11 library. In the end of the thesis there is an evaluation of the features of final work and comparison of enclosed implementation with existing solutions.
|
|
|
Port of QEMU to HelenOS
Mareš, Jan ; Děcký, Martin (advisor) ; Škoda, Dominik (referee)
QEMU is a machine emulator that is able to emulate environment of various hardware platforms, including PC, PowerPC, ARM and SPARC. The goal of this master thesis is to port QEMU to HelenOS, thus allowing developers run the emulation of HelenOS inside HelenOS. The thesis contains a detailed analysis of the possible porting approaches (including the port of prerequisite libraries or their replacements) and an analysis of the features of QEMU (a reasonable subset of all features of QEMU) that are essential for achieving the goal and features that can be omitted in the prototype implementation. The primary focus of the implementation is to support the PC (x86 and x86-64) guest environment. Although not part of the prototype implementation, the thesis also focuses on analyzing the requirements for running QEMU as a virtualization hypervisor in HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín
This thesis extends HelenOS operating system in order to be IPv6 capa- ble. New IPv6 protocol implementation is on the same level as previous IPv4 protocol implementation. HelenOS networking stack now offers three modes of networking: IPv4-only, IPv6-only and dual stack mode. Dual stack mode enables usage of both protocols at once. The thesis describes previous state of HelenOS networking stack, analyzes differences between IPv4 and IPv6 protocols and gives reasons for single strategic decisions. In fine, it describes used implementation and debugging techniques, concludes results and compares HelenOS with other microkernel operating system from the IPv6-capability perspective. 1
|
|
|
System daemon for HelenOS
Koutný, Michal ; Děcký, Martin (advisor) ; Yaghob, Jakub (referee)
HelenOS is an operating system based on a number of cooperating server processes, however it is missing unified means to control and monitor them. The thesis first surveys approaches taken by both popular and microkernel operating systems to the service management. Further it gives a detailed overview of relevant HelenOS environment and continues by the analysis of particular service management issues. The presented knowledge is then applied to HelenOS and the implementation based on the systemd terminology is described. Finally, the thesis shortly assesses the implementation and outlines further ideas that the implementation enabled. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
This master thesis deals with the implementation of a connector between FUSE file system drivers and HelenOS native VFS interface. The thesis first describes the way of finding the best solution and the potential possibilities. The low level layer solution is described as the best one. Further the thesis describes the real implementation of the connector. As the implementation of the connector was successful the thesis then describes in detail the parts of the fully functional solution in real-life HelenOS system. With this solution in place almost no changes are necessary to be done neither in FUSE nor in Helenos VFS. The connector implementation is demonstrated on two real-life FUSE file systems exFAT and NTFS which were ported to HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (advisor) ; Kofroň, Jan (referee)
This master thesis deals with the implementation of a connector between FUSE file system drivers and HelenOS native VFS interface. The thesis first describes the way of finding the best solution and the potential possibilities. The low level layer solution is described as the best one. Further the thesis describes the real implementation of the connector. As the implementation of the connector was successful the thesis then describes in detail the parts of the fully functional solution in real-life HelenOS system. With this solution in place almost no changes are necessary to be done neither in FUSE nor in Helenos VFS. The connector implementation is demonstrated on a real-life FUSE file system exFAT ported to HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS sound subsystem
Veselý, Ján ; Děcký, Martin (advisor) ; Libič, Peter (referee)
The work examines options for a modern daemon centered audio stack for HelenOS. It studies four different audio architectures; ALSA, OSS, JACK, and PulseAUdio. Each of them implements different approaches to providing general purpose audio support. Champion of every approach is analyzed, its strengths and weaknesses assessed. Based on the results of the analysis, different approaches for HelenOS audio stack are examined and the most promising one implemented. Complete audio stack is implemented, including an audio device driver, and a demonstrator audio application. Direction of future work and improvements is discussed at the end.
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín ; Děcký, Martin (advisor) ; Tůma, Petr (referee)
This thesis extends HelenOS operating system in order to be IPv6 capa- ble. New IPv6 protocol implementation is on the same level as previous IPv4 protocol implementation. HelenOS networking stack now offers three modes of networking: IPv4-only, IPv6-only and dual stack mode. Dual stack mode enables usage of both protocols at once. The thesis describes previous state of HelenOS networking stack, analyzes differences between IPv4 and IPv6 protocols and gives reasons for single strategic decisions. In fine, it describes used implementation and debugging techniques, concludes results and compares HelenOS with other microkernel operating system from the IPv6-capability perspective. 1
|
guest ::
