PlatformSDK renard@sfosBUILD:~/hadk$ sb2 -t $VENDOR-$DEVICE-$PORT_ARCH -R -m sdk-install zypper in droid-local-repo/$DEVICE/droid-hal-mi439-devel-0*.rpm -droid-hal-Mi439-detritus
Loading repository data...
Reading installed packages...
'droid-hal-mi439-devel = 0:0.0.6-202509271807' is already installed.
No update candidate for 'droid-hal-mi439-devel-0.0.6-202509271807.aarch64'. The highest available version is already installed.
Resolving package dependencies...

Problem: the installed droid-hal-Mi439-0.0.6-202509262301.aarch64 requires 'droid-hal-Mi439-detritus', but this requirement cannot be provided
  deleted providers: droid-hal-Mi439-detritus-0.0.6-202509262301.aarch64
 Solution 1: Following actions will be done:
  deinstallation of droid-hal-Mi439-0.0.6-202509262301.aarch64
  deinstallation of droid-config-mi439-1-202509271809.aarch64
 Solution 2: keep droid-hal-Mi439-detritus-0.0.6-202509262301.aarch64
 Solution 3: break droid-hal-Mi439-0.0.6-202509262301.aarch64 by ignoring some of its dependencies