.. include:: crossreferences.asc

.. |title| replace:: A small Operating System for an Embedded Device
.. |wp|    replace:: WP53
.. |start| replace:: M6
.. |p1|    replace:: CT
.. |m1|    replace:: 5
.. |p2|    replace:: Y
.. |m2|    replace:: 3
.. |p3|    replace:: Y
.. |m3|    replace:: 3
.. |p4|    replace:: |e|
.. |m4|    replace:: |e|
.. |p5|    replace:: |e|
.. |m5|    replace:: |e|
.. |p6|    replace:: |e|
.. |m6|    replace:: |e|

.. include:: wp-toptable.asc

.. include:: wp-tablebegin.asc

**Objectives**

- Building all parts of a small Operating System

.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc

**Description of work**

- Recode device drivers in Python, according to the results of WP52_.
  Design tests which ensure functional compatibility with the original
  ones, as far as these exist.
 
- Extend the simulator of WP51_ accordingly.
  
- Implement the OS kernel as a set of prioritized tasklets
  (using the support from WP41_)
  
- Implement a simple file system which is accessible by
  Python, only.
  
- Implement a few basic protocols like FTP in order to provide
  basic access to the internal data of the embedded device.
  
- Test the implementation both on the simulator and on the real hardware.

.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc

**Deliverables**

- DL??? Python implements the whole OS of the embedded device.
- DL??? Passing all applicable elements of the standard test suite.

.. include:: wp-tableend.asc
.. include:: wp-tablebegin.asc

**Milestones and Expected Result**

- M7 

.. include:: wp-tableend.asc