mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
b723b11b30
This patch equips Sculpt with the ability to customize the system image in very flexible ways. All customizable aspects of the image have been relocated from the former sculpt.run script and the accompanied gems/run/sculpt/ directory to a new location - the sculpt/ directory - which can exist in any repository. The directory at repos/gems/sculpt/ serves as reference. The sculpt directory can host any number of <name>-<board>.sculpt files, each containing a list of ingredients to be incorporated into the Sculpt system image. The <name> can be specified to the sculpt.run script. E.g., the following command refers to the 'default-pc.sculpt' file: make run/sculpt KERNEL=nova BOARD=pc SCULPT=default If no 'SCULPT' argument is supplied, the value 'default' is used. A .sculpt file refers to a selection of files found at various subdirectries named after their respective purpose. In particular, There exists a subdirectory for each file in Sculpt's config fs, like nitpicker, drivers... The .sculpt file selects the alternative to use by a simple tag-value notation. drivers: pc The supported tags are as follows. *Optional* selection of /config files. If not specified, those files are omitted, which prompts Sculpt to manage those configurations automatically or via the Leitzentrale GUI: fonts nic_router event_filter wifi runtime gpu_drv Selection of mandatory /config files. If not specified, the respective 'default' alternative will be used. nitpicker deploy fb_drv clipboard drivers numlock_remap leitzentrale usb system ram_fs Furthermore, the .sculpt file supports the optional selection of supplemental content such as a set of launchers. launches: nano3d system_shell Another type of content are the set of blessed pubkey/download files used for installing and verifying software on target. With the new version, it has become possible to supply a depot with the the system image. The depot content is assembled according to the 'pkg' attributes found in launcher files and the selected deploy config. The resulting depot is incorporated into the system image as 'depot.tar' archive. It can be supplied to the Sculpt system by mounting it into the ram fs as done by the 'ram_fs/depot' configuration for the ram fs. It is possible to add additional boot modules to the system image. There are two options. build: <list of targets> This tag prompts the sculpt.run script to build the specified targets directly using the Genode build system and add the created artifacts into the system image as boot modules. import: <list of depot src or pkg archives> This tag instructs Sculpt to supply the specifid depot-archive content as boot modules to the system image. This change eliminates the need for board-specific pkg/sculpt-<board> archives. The board-specific specializations can now be placed directly into the respective .sculpt files by using 'import:'. To make the use of Sculpt as testbed during development more convenient, the log output of the drivers, leitzentrale, and runtime subsystems can be redirected to core using the optional 'LOG=core' argument, e.g., make run/sculpt KERNEL=linux BOARD=linux LOG=core The former pkg/sculpt-installation and pkg/sculpt-installation-pc archives have been replaced by pkg/sculpt_distribution-pc, which references the generic pkg/sculpt_distribution archive. Those pkgs are solely used for publishing / distribution purposes. Fixes #4369
26 lines
754 B
Plaintext
26 lines
754 B
Plaintext
<config>
|
|
<input name="numlock_enabled" rom="numlock" node="numlock">
|
|
<attribute name="enabled" /> </input>
|
|
|
|
<output node="remap">
|
|
<if>
|
|
<has_value input="numlock_enabled" value="no"/>
|
|
<then>
|
|
<inline>
|
|
<key name="KEY_KP0" to="KEY_INSERT"/>
|
|
<key name="KEY_KP1" to="KEY_END"/>
|
|
<key name="KEY_KP2" to="KEY_DOWN"/>
|
|
<key name="KEY_KP3" to="KEY_PAGEDOWN"/>
|
|
<key name="KEY_KP4" to="KEY_LEFT"/>
|
|
<key name="KEY_KP5" to="KEY_RESERVED"/>
|
|
<key name="KEY_KP6" to="KEY_RIGHT"/>
|
|
<key name="KEY_KP7" to="KEY_HOME"/>
|
|
<key name="KEY_KP8" to="KEY_UP"/>
|
|
<key name="KEY_KP9" to="KEY_PAGEUP"/>
|
|
<key name="KEY_KPDOT" to="KEY_DELETE"/>
|
|
</inline>
|
|
</then>
|
|
</if>
|
|
</output>
|
|
</config>
|