Commits on May 18, 2015
Commits on May 17, 2015
  1. sel4: core support for IPC of non-core PDs

    nfeske committed May 13, 2015
    This patch installs the parent endpoint selector and the PD's CNode into
    a PD at its creation time. Furthermore, it initializes the IPC buffer
    for the main thread of the new component.
  2. sel4: use core_printf for non-core components

    nfeske committed May 13, 2015
    This allows us to see debug messages printed at the eary initialization
    of init (before init is able to obtain the regular LOG session). This
    will be reverted as soon as the initialziation of the non-core base
    environment works.
  3. sel4: link core to different address

    nfeske committed May 13, 2015
    This enables us to debug core and non-core using Qemu's GDB stub.
  4. sel4: IPC implementation

    nfeske committed May 11, 2015
  5. sel4: assert macro

    nfeske committed May 8, 2015
  6. sel4: RAM-session supplements

    nfeske committed May 7, 2015
  7. core: change order of _export_ds and _clear_ds

    nfeske committed May 7, 2015
    On seL4, we need to convert untyped memory to page frames before being
    able to use it as normal memory. There already exists the hook function
    '_export_ds' that is principally suitable for such tasks. It is
    currently solely used on Linux where we have to create a file for each
    dataspace. To make the hook useful also for seL4, we need to call
    _export_ds prior _clear_ds. Otherwise, we would try to clear memory that
    is still untyped.
  8. sel4: core skeleton

    nfeske committed May 1, 2015
  9. sel4: complement

    nfeske committed May 1, 2015
    This patch extends the base-common library with the symbols needed to
    link core.