Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changes between Version 4 and Version 5 of Documentation


Ignore:
Timestamp:
2016-03-19T08:20:40Z (3 years ago)
Author:
Jakub Jermář
Comment:

Merge documentation into one page.

Legend:

Unmodified
Added
Removed
Modified
  • Documentation

    v4 v5  
    11= Documentation =
     2[[PageOutline]]
    23
    3 This page collects links to various sources of information about HelenOS. Other sources of information can be found directly in the project [wiki:WikiStart wiki].
     4This page collects links to various sources of information about HelenOS. Other sources of information can be found directly in the project [wiki:WikiStart wiki] and especially in [wiki:UsersGuide User's Guide].
    45
     6== Publications ==
     7
     8Here you can find various published HelenOS theses and papers. Note that the theses do not necessarily reflect the current state of HelenOS. In some cases, the theses may contain obsolete information or represent work that has never been integrated into the mainline HelenOS.
     9
     10=== Doctoral theses ===
     11
     12  * Martin Děcký: ''Application of Software Components in Operating System Design'', MFF UK, 2015, ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fmd-dthesis.pdf read on-line], [http://www.helenos.org/doc/theses/md-dthesis.pdf pdf])
     13
     14=== Master theses ===
     15
     16  * Michal Koutný: ''System daemon for HelenOS'', MFF UK, 2016 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fmk-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/mk-thesis.pdf pdf])
     17  * Jan Kolárik: ''IEEE 802.11 wireless networking for HelenOS'', MFF UK, 2015 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjk-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jk-thesis.pdf pdf])
     18  * Jan Mareš: ''Port of QEMU to HelenOS'', MFF UK, 2015 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjm-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jm-thesis.pdf pdf])
     19  * Zdeněk Bouška: ''HelenOS VFS-FUSE connector'', MFF UK, 2014 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fzb-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/zb-thesis.pdf pdf])
     20  * Adam Hraška: ''Read-Copy-Update for HelenOS'', MFF UK, 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fah-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/ah-thesis.pdf pdf])
     21  * Antonín Steinhauser: ''IPv6 for HelenOS'', MFF UK, 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fas-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/as-thesis.pdf pdf])
     22  * Martin Sucha: ''Testing Framework for HelenOS'', FMPH UNIBA, 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fms-mthesis.pdf read on-line], [http://www.helenos.org/doc/theses/ms-mthesis.pdf pdf])
     23  * Ján Veselý: ''HelenOS sound subsystem'', MFF UK, 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjve-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jve-thesis.pdf pdf])
     24  * Petr Koupý: ''Graphics stack for HelenOS'', MFF UK, 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fpk-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/pk-thesis.pdf pdf])
     25  * František Princ: ''HelenOS ext4 filesystem driver'', MFF UK, 2012 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Ffp-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/fp-thesis.pdf pdf])
     26  * Jan Dolejš: ''HelenOS as Xen hypervisor'', MFF UK, 2012 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjd-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jd-thesis.pdf pdf])
     27  * Tomáš Benhák: ''HelenOS port to Xen hypervisor'', MFF UK, 2012 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Ftbe-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/tbe-thesis.pdf pdf])
     28  * Štepán Henek: ''Security containers and access rights in HelenOS'', MFF UK, 2011 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fsh-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/sh-thesis.pdf pdf])
     29  * Vojtěch Horký: ''Support for NUMA hardware in HelenOS'', MFF UK, 2011 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fvh-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/vh-thesis.pdf pdf])
     30  * Jiří Tlach: ''Modern operating system without MMU'', MFF UK, 2011 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjt-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jt-thesis.pdf pdf])
     31  * Stanislav Kozina: ''HelenOS Monitoring'', MFF UK, 2010 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fsk-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/sk-thesis.pdf pdf])
     32  * Tomáš Brambora: ''Task Snapshotting in HelenOS'', MFF UK, 2010 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Ftb-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/tb-thesis.pdf pdf])
     33  * Lenka Trochtová: ''Device drivers interface in HelenOS system'', MFF UK, 2010 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Flt-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/lt-thesis.pdf pdf])
     34  * Lukáš Mejdrech: ''Networking and TCP/IP stack for HelenOS system'', MFF UK, 2009 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Flm-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/lm-thesis.pdf pdf])
     35  * Pavel Římský: ''Support for UltraSPARC III, IV, T1 and T2 processors in HelenOS'', MFF UK, 2009 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fpr-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/pr-thesis.pdf pdf])
     36  * Jakub Váňa: ''Porting HelenOS to IA-64 architecture'', MFF UK, 2008 (in Czech)
     37  * Jiří Svoboda: ''Dynamic linker and debugging/tracing interface for HelenOS'', MFF UK, 2008 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjs-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/js-thesis.pdf pdf])
     38  * Jakub Jermář: ''Porting SPARTAN kernel to SPARC V9 architecture'', MFF UK, 2007 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjj-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jj-thesis.pdf pdf])
     39  * Martin Děcký: ''Mechanisms of Virtualizing Operating Systems Execution'', 2006 (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fmd-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/md-thesis.pdf pdf])
     40
     41=== Bachelor theses ===
     42
     43  * Jan Buchar: ''HelenOS packet filter'', MFF UK, 2015 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjb-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jb-thesis.pdf pdf])
     44  * Dominik Táborský: ''HelenOS Installer'', MFF UK, 2014 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fdt-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/dt-thesis.pdf pdf])
     45  * Jiří Zárevúcky: ''Improved VFS design for HelenOS'', FI MUNI, 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fjzr-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/jzr-thesis.pdf pdf])
     46  * Martin Sucha: ''Ext2 Filesystem Support for HelenOS'', FMPH UNIBA, 2011, ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Ftheses%2Fms-thesis.pdf read on-line], [http://www.helenos.org/doc/theses/ms-thesis.pdf pdf])
     47
     48=== Papers ===
     49
     50  * Martin Děcký: ''A Road to a Formally Verified General-Purpose Operating System'' ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fpapers%2FHelenOS-ISARCS.pdf read on-line], [http://www.helenos.org/doc/papers/HelenOS-ISARCS.pdf pdf])[[br]]
     51    published in the Proceedings of the 1st International Symposium on Architecting Critical Systems (federated with !CompArch 2010), Springer (LNCS 6150), ISBN 978-3-642-13555-2, June 2010
     52  * Jakub Jermář: ''Implementation of filesystem in HelenOS operating system'' (in Czech, [http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fpapers%2FHelenOS-EurOpen.pdf read on-line], [http://www.helenos.org/doc/papers/HelenOS-EurOpen.pdf pdf])[[br]]
     53    published in the Proceedings of the 32nd !EurOpen.CZ Conference, Rožmberk nad Vltavou, Czech Republic, May 2008
     54  * Martin Děcký: ''Component-based General-purpose Operating System'' ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fpapers%2Foslcf.pdf read on-line], [http://www.helenos.org/doc/papers/oslcf.pdf pdf])[[br]]
     55    published in Proceedings of WDS'07, Prague, Czech Republic, June 2007
    556  * [wiki:Publications Publications, papers and theses]
    657  * [wiki:Talks]
    758  * [wiki:ProjDoc Historic project documentation]
    859  * [wiki:UsersGuide User's Guide]
     60
     61== Talks ==
     62
     63=== FOSDEM ===
     64
     65  * Martin Děcký, [https://fosdem.org/2016/schedule/event/microkernels_helenos_riscv/ Porting HelenOS to RISC-V], 2016 ([https://fosdem.org/2016/schedule/event/microkernels_helenos_riscv/attachments/slides/1278/export/events/attachments/microkernels_helenos_riscv/slides/1278/2016_01_30_Decky_FOSDEM_Porting_HelenOS_to_RISC_V.pdf pdf], [http://video.fosdem.org/2016/k4601/porting-helenos-to-risc-v.mp4 video])
     66  * Jakub Jermář, [https://fosdem.org/2016/schedule/event/microkernels_helenos_tools/ Tools that helped to build HelenOS], 2016 ([https://fosdem.org/2016/schedule/event/microkernels_helenos_tools/attachments/slides/1132/export/events/attachments/microkernels_helenos_tools/slides/1132/FOSDEM2016_HelenOS.pdf pdf], [http://video.fosdem.org/2016/k4601/tools-that-helped-to-build-helenos.mp4 video])
     67  * Martin Děcký, [https://archive.fosdem.org/2015/schedule/event/mm/ What Could Microkernels Learn from Monolithic Kernels (and Vice Versa)], 2015 ([https://archive.fosdem.org/2015/schedule/event/mm/attachments/slides/806/export/events/attachments/mm/slides/806/2015_02_01_Decky_FOSDEM_What_Could_Microkernels_Learn_from_Monolithic_Kernels_(and_Vice_Versa).pdf pdf], [http://video.fosdem.org/2015/devroom-microkernels/mm__BAD_AUDIO.mp4 video])
     68  * Jakub Jermář, [https://archive.fosdem.org/2015/schedule/event/deadlock/ Autopsy of a multiserver deadlock in the HelenOS filesystem layer], 2015 ([https://archive.fosdem.org/2015/schedule/event/deadlock/attachments/slides/688/export/events/attachments/deadlock/slides/688/FOSDEM2015_HelenOS.pdf pdf], [http://video.fosdem.org/2015/devroom-microkernels/deadlock__BAD_AUDIO.mp4 video])
     69  * Martin Děcký, [https://archive.fosdem.org/2014/schedule/event/09_uk_rcu_for_helenos/ Read-Copy-Update for HelenOS], 2014 ([https://archive.fosdem.org/2014/schedule/event/09_uk_rcu_for_helenos/attachments/slides/451/export/events/attachments/09_uk_rcu_for_helenos/slides/451/2014_02_02_Decky_FOSDEM_RCU_for_HelenOS.pdf pdf])
     70  * Jakub Jermář, [https://archive.fosdem.org/2014/schedule/event/03_uk_helenos/ HelenOS annual update], 2014 ([https://archive.fosdem.org/2014/schedule/event/03_uk_helenos/attachments/slides/496/export/events/attachments/03_uk_helenos/slides/496/FOSDEM2014_HelenOS.pdf pdf], [http://video.fosdem.org/2014/H2214/Sunday/HelenOS_annual_update.webm video])
     71  * Vojtěch Horký, [https://archive.fosdem.org/2014/schedule/event/09_uk_rcu_for_helenos/ HelenOS: last year at a glance], 2013 ([https://archive.fosdem.org/2013/schedule/event/helenos_microkernel/attachments/slides/243/export/events/attachments/helenos_microkernel/slides/243/helenos_last_year_at_a_glance.pdf pdf])
     72  * Martin Děcký, [https://archive.fosdem.org/2013/schedule/event/hottopics_microkernel/ OS Hot Topics], 2013 ([https://archive.fosdem.org/2013/schedule/event/hottopics_microkernel/attachments/slides/281/export/events/attachments/hottopics_microkernel/slides/281/2013_02_02_Decky_OS_Hot_Topics.pdf pdf])
     73  * Jakub Jermář, [https://archive.fosdem.org/2013/schedule/event/silverlining_microkernel/ Every cloud has a silver lining and what we can learn from it], 2013 ([https://archive.fosdem.org/2013/schedule/event/silverlining_microkernel/attachments/slides/253/export/events/attachments/silverlining_microkernel/slides/253/FOSDEM2013_HelenOS.pdf pdf])
     74  * Jiří Svoboda, [https://archive.fosdem.org/2012/schedule/event/microkernel_helenos_drivers.html Dive into HelenOS Device Drivers], 2012 ([https://archive.fosdem.org/2012/schedule/event/550/113_helenos_dd.pdf pdf])
     75  * Martin Děcký, [https://archive.fosdem.org/2012/schedule/event/microkernel_overhead.html The microkernel overhead], 2012 ([https://archive.fosdem.org/2012/schedule/event/549/96_Martin_Decky-Microkernel_Overhead.pdf pdf])
     76  * Jakub Jermář, [https://archive.fosdem.org/2012/schedule/event/microkernel_intro_helenos.html Introduction to HelenOS], 2012 ([https://archive.fosdem.org/2012/schedule/event/548/94_FOSDEM2012-HelenOS.pdf pdf])
     77  * Jakub Jermář, [https://archive.fosdem.org/2012/schedule/event/microkernel_welcome.html Welcome! or Why do we meet here today], 2012 ([https://archive.fosdem.org/2012/schedule/event/545/91_FOSDEM2012-Welcome.pdf pdf])
     78
     79=== !LinuxDays ===
     80
     81  * Martin Děcký, Presentation at [http://www.linuxdays.cz/ LinuxDays 2013], 2013 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fslides%2F2013-10-05-Decky-HelenOS.pdf read on-line], [http://www.helenos.org/doc/slides/2013-10-05-Decky-HelenOS.pdf pdf])
     82
     83=== D3S seminar ===
     84
     85  * Martin Děcký, HelenOS: State of the Union 2012, 2012 ([http://docs.google.com/viewer?url=http%3A%2F%2Fd3s.mff.cuni.cz%2Fresearch%2Fseminar%2Fdownload%2F2012-10-30-Decky-HelenOS_State_of_the_Union.pdf read on-line], [http://d3s.mff.cuni.cz/research/seminar/download/2012-10-30-Decky-HelenOS_State_of_the_Union.pdf pdf])
     86  * Martin Děcký, HelenOS: State of the Union 2011, 2011 ([http://docs.google.com/viewer?url=http%3A%2F%2Fd3s.mff.cuni.cz%2Fresearch%2Fseminar%2Fdownload%2F2011-10-11-Decky-HelenOS_State_of_the_Union.pdf read on-line], [http://d3s.mff.cuni.cz/research/seminar/download/2011-10-11-Decky-HelenOS_State_of_the_Union.pdf pdf])
     87  * Martin Děcký, HelenOS: State of the Union 2010, 2010 ([http://docs.google.com/viewer?url=http%3A%2F%2Fd3s.mff.cuni.cz%2Fresearch%2Fseminar%2Fdownload%2F2010-03-16-Decky-HelenOS-2010.pdf read on-line], [http://d3s.mff.cuni.cz/research/seminars/download/2010-03-16-Decky-HelenOS-2010.pdf pdf])
     88  * Martin Děcký, HelenOS Architecture Description, 2009 ([http://docs.google.com/viewer?url=http%3A%2F%2Fd3s.mff.cuni.cz%2Fresearch%2Fseminar%2Fdownload%2F2009-11-10-Decky-HelenOS-architecture.pdf read on-line], [http://d3s.mff.cuni.cz/research/seminars/download/2009-11-10-Decky-HelenOS-architecture.pdf pdf])
     89  * Martin Děcký, Presentation on HelenOS Architecture Description at [http://dsrg.mff.cuni.cz/ Distributed Systems Research Group], Charles University in Prague, 2009 ([http://docs.google.com/viewer?url=http%3A%2F%2Fdsrg.mff.cuni.cz%2Fteaching%2Fseminars%2F2009-11-10-Decky-HelenOS-architecture.pdf read on-line], [http://dsrg.mff.cuni.cz/teaching/seminars/2009-11-10-Decky-HelenOS-architecture.pdf pdf])
     90  * Martin Děcký, Presentation at [http://dsrg.mff.cuni.cz/ Distributed Systems Research Group], Charles University in Prague, 2006 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fslides%2F2006-05-10-Decky-HelenOS.pdf read on-line], [http://www.helenos.org/doc/slides/2006-05-10-Decky-HelenOS.pdf pdf])
     91
     92=== Other ===
     93
     94  * Jakub Jermář, Presentation on Developing a Multiserver Operating System at UINX.CZ '10, 2010 ([http://docs.google.com/viewer?url=http%3A%2F%3Cbr%20/%3E%2Fwww.helenos.org%2Fdoc%2Fslides%2F2010-02-03-Jermar-Multiserver.pdf read on-line], [http://www.helenos.org/doc/slides/2010-02-03-Jermar-Multiserver.pdf pdf])
     95  * Jakub Jermář, Presentation on HelenOS VFS at [http://europen.cz EurOpen.CZ] Conference, 2008, ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fslides%2F2008-05-21-Jermar-VFS.pdf read on-line], [http://www.helenos.org/doc/slides/2008-05-21-Jermar-VFS.pdf pdf])
     96  * Jakub Jermář, Presentation to [http://www.sun.com Sun Microsystems]' Solaris RPE group in Prague, 2006 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fslides%2F2006-11-02-Jermar-HelenOS.pdf read on-line], [http://www.helenos.org/doc/slides/2006-11-02-Jermar-HelenOS.pdf pdf])
     97  * Martin Děcký, Presentation at [http://os.inf.tu-dresden.de/ Operating Systems Group], Technical University Dresden, 2006 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fslides%2F2006-06-16-Decky-HelenOS.pdf read on-line], [http://www.helenos.org/doc/slides/2006-06-16-Decky-HelenOS.pdf pdf])
     98
     99
     100== Historic project documentation ==
     101
     102Warning: The following documents, although containing comprehensive coverage of various areas of HelenOS, relate to older revisions of HelenOS or obsolete development branches. While the principal information is usually still correct, the implementation details might dramatically differ from the current state of the HelenOS source tree. Reader's consideration in required.
     103
     104  * Zdeňek Bouška, Jiří Michalec, Radim Vansa, Jan Záloha, ''HelenOS Networking'', Software project, MFF UK, 2011 ([http://docs.google.com/viewer?url=http%3A%2F%2Fwww.helenos.org%2Fdoc%2Fhelnet.pdf read-online], [http://www.helenos.org/doc/helnet.pdf pdf])
     105  * Matúš Dekánek, Vojtech Horký, Matej Klonfar, Ľuboš Slovák, Ján Veselý, ''USB subsystem in HelenOS'', Software project, MFF UK, 2011 ([http://helenos-usb.sourceforge.net/manual html], [http://helenos-usb.sourceforge.net/helenos-usb-doc.pdf pdf])
     106  * Jakub Jermář, Ondřej Palkovský, Martin Děcký, Jakub Váňa, Josef Čejka, Sergey Bondari, ''HelenOS 0.2.0 Design Documentation'', Software project, MFF UK, 2006, ([http://www.helenos.org/doc/design/html.chunked html], [http://www.helenos.org/doc/design.pdf pdf])
     107  * Jakub Jermář, Ondřej Palkovský, Martin Děcký, Jakub Váňa, Josef Čejka, Sergey Bondari, ''HelenOS 0.2.0 User Manual'', Software project, MFF UK, 2006, ([http://www.helenos.org/doc/usrman.pdf pdf])
     108  * Jakub Jermář, Ondřej Palkovský, Martin Děcký, Jakub Váňa, Josef Čejka, Sergey Bondari, ''HelenOS 0.2.0 Project Documentation'', Software project, MFF UK, 2006, ([http://www.helenos.org/doc/prjdoc.pdf pdf])