genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 02:01:38 +00:00

History

Martin Stein e5b9a6cc8b nic_router: rework round-trip-time handling

Do not use two times the RTT for the lifetime of links but use it as
it is configured to simplify the usage of the router. Internally, use
Microseconds/Duration type instead of plain integers.

Ref #2490

2017-10-19 13:29:45 +02:00

doc

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

include

dhcp: extend options utilities

2017-10-19 13:29:44 +02:00

lib

sd_card: cleanup driver library structure

2017-06-29 11:59:58 +02:00

recipes

import chroot from world repository

2017-10-05 17:40:04 +02:00

run

nic_router & timer* tests: prioritize timer driver

2017-09-07 11:47:15 +02:00

src

nic_router: rework round-trip-time handling

2017-10-19 13:29:45 +02:00

README

API documentation refinements

2017-05-31 13:16:21 +02:00

README

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.