mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
parent
cae3e447d6
commit
8a8de970a5
@ -19,3 +19,4 @@ _/pkg/fonts_fs
|
||||
_/pkg/report_dump
|
||||
_/pkg/acpica
|
||||
_/pkg/qt5_textedit
|
||||
_/pkg/system_clock
|
||||
|
@ -12,6 +12,7 @@
|
||||
|
||||
<index name="Tools">
|
||||
<pkg path="system_shell" info="command-line interface to the system"/>
|
||||
<pkg path="system_clock" info="system-clock service"/>
|
||||
<pkg path="qt5_textedit" info="Qt5-based text editor"/>
|
||||
<pkg path="report_dump" info="save periodic snapshots of the report fs"/>
|
||||
</index>
|
||||
|
@ -342,7 +342,7 @@ class Sculpt::Runtime_config
|
||||
_io_mem { _r, Type::IO_MEM, "raw hardware access" },
|
||||
_io_port { _r, Type::IO_PORT, "raw hardware access" },
|
||||
_irq { _r, Type::IRQ, "raw hardware access" },
|
||||
_rtc { _r, Type::RTC, "system clock" },
|
||||
_rtc { _r, Type::RTC, "hardware clock" },
|
||||
_block { _r, Type::BLOCK, "direct block-device access" },
|
||||
_usb { _r, Type::USB, "direct USB-device access" },
|
||||
_pci_wifi { _r, Type::PLATFORM, "wifi hardware", "wifi" },
|
||||
|
Loading…
Reference in New Issue
Block a user