genode

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

History

Emery Hemingway 1fce8d0d74 default ahci_drv and part_blk Block sessions to read-only

Add a "writeable" policy option to the ahci_drv and part_blk Block
servers and default from writeable to ready-only. Should a policy
permit write acesss the session request argument "writeable" may still
downgrade a session to ready-only.

Fix #2469

2017-08-28 16:49:51 +02:00

doc

Remove obsolete RAM/CAP services from run scripts

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

include

default ahci_drv and part_blk Block sessions to read-only

2017-08-28 16:49:51 +02:00

lib

sd_card: cleanup driver library structure

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

recipes

depot recipe for blk_cache

2017-08-28 16:49:44 +02:00

run

default ahci_drv and part_blk Block sessions to read-only

2017-08-28 16:49:51 +02:00

src

default ahci_drv and part_blk Block sessions to read-only

2017-08-28 16:49:51 +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.