Permalink
Commits on Aug 14, 2018
  1. Fix build of epub version

    nfeske committed Aug 14, 2018
Commits on May 31, 2018
  1. Review by cnuke

    nfeske committed May 30, 2018
  2. Review by ssumpf

    nfeske committed May 30, 2018
  3. Update to Genode 18.05

    nfeske committed May 21, 2018
    - Changed boot-loader infrastructure on PC
    - API
      - Unicode handling
      - Expanding_reporter
      - List_model, Buffered_xml
      - One_shot_timeout, Periodic_timeout
    - Init (label_last)
    - Package management
Commits on May 21, 2018
  1. Fix app_specific_tcb, async_session_seq tikz

    nfeske committed May 21, 2018
    The layout of those images changed, possibly caused by a new tikz
    version.
Commits on May 31, 2017
  1. Review by ssumpf

    nfeske committed May 31, 2017
  2. Review by cnuke

    nfeske committed May 31, 2017
Commits on May 26, 2017
  1. Update to Genode 17.05

    nfeske committed May 22, 2017
    - Merge of PD and RAM services
    - Capability quotas
    - Supplement hello-world example with event handling
    - Init: unscoped_label, report, service forwarding, label
      rewriting
    - Adjust 'create_builddir' instructions instructions to use
      unified build directories
    - API update
    - Under the hood: asynchronous parent-child interplay
Commits on Mar 24, 2017
Commits on Feb 16, 2017
  1. Fix some typos.

    pmundkur authored and nfeske committed Feb 16, 2017
Commits on Aug 31, 2016
  1. intro: typo fix

    nfeske committed Aug 31, 2016
    Thanks to Steve Chapin for reporting!
Commits on Aug 17, 2016
  1. EPUB version of the document

    nfeske committed Jul 17, 2015
  2. Rename qt_avplay.png to qt_avplay_screen.png

    nfeske committed Jul 17, 2015
    This way, we avoid a name clash when generating a PNG file from the
    qt_avplay.tikz figure.
Commits on Jun 13, 2016
  1. Fix inconsistency

    nfeske committed Jun 13, 2016
    Thanks to Guido Witmond for reporting.
Commits on May 26, 2016
  1. Update to Genode 16.05

    nfeske committed May 18, 2016
    This patch updates the book content according to the changes between
    Genode 15.05 and 16.05:
    
    * Adjustments due to the renovated base API
    * Introduction of the new component API
      ('Entrypoint', 'Component', 'Env')
    * New log API that replaces the former use of format strings
    * Integration of the former RM, SIGNAL, and CAP services into
      core's PD service
    * New region-map and RM-service interface
    * Removed notion of 'Signal_receiver', now covered by 'Entrypoint'
    * Document NOVA changes
      (Kernel-memory quotas, remote unmap, 64-bit guests, write-combining)
    * Label-dependent session routing / policy selection
    * New description of IPC library to match current implementation
    * Changed directory structure (spec subdirectories, move of base
      and startup libraries to base/src/lib)
    * Replaced PCI session by platform session
    * Removed Linux chroot support
Commits on Jul 8, 2015
  1. Use Genode tag 15.05 for API

    nfeske committed Jul 8, 2015
Commits on Jun 2, 2015
  1. Architecture: stylistic refinement

    nfeske committed Jun 2, 2015
    Thanks Jeroen for the hint!
Commits on May 29, 2015
  1. Spelling fix

    nfeske committed May 29, 2015
    Thanks Ben for reporting!
  2. Adaptiation to Genode 15.05

    nfeske committed May 29, 2015
Commits on May 20, 2015
  1. Under the hood: base-hw kernel changes of 15.05

    nfeske committed May 20, 2015
    This patch adapts the under-the-hood section to the changes of the
    kernel interface of Genode 15.05. It removes the limitation of
    unimplemented kernel-protected capabilities and updates the system-call
    overview.
Commits on May 19, 2015
Commits on May 18, 2015
  1. Review by Josef

    nfeske committed May 18, 2015
  2. Review

    chelmuth authored and nfeske committed Mar 11, 2015
Commits on May 16, 2015
  1. Title page

    nfeske committed May 16, 2015