mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 00:45:29 +00:00
55dc3abf00
This way, os components (i.e., input_filter) can use it for nonlinear interpolation.