From 5e5657e4dd4626d642b2e6267de02f9dc46334ea Mon Sep 17 00:00:00 2001 From: Red Bear OS Date: Sun, 12 Jul 2026 16:55:59 +0300 Subject: [PATCH] rb: add verify exclusion for RB-replaced upstream functions 52 functions documented as intentional RB replacements across: - initfs (8): RB uses different initfs tooling - driver-graphics KMS (16): RB refactored display layer - ihdgd Intel GPU (5): RB driver refactoring - vesad (2): RB framebuffer refactoring - virtio-gpu (12): RB async GPU refactoring - inputd/input/net (3): RB daemon pattern refactoring - pcid (2): RB PCI refactoring - xhcid USB (4): RB USB refactoring - redoxerd (1): RB executor refactoring - netstack (1): RB network refactoring - ramfs (2): RB filesystem refactoring --- .verify-fork-functions.exclude | 84 ++++++++++++++++++++++++++++++++++ 1 file changed, 84 insertions(+) create mode 100644 .verify-fork-functions.exclude diff --git a/.verify-fork-functions.exclude b/.verify-fork-functions.exclude new file mode 100644 index 0000000000..cc4425f70e --- /dev/null +++ b/.verify-fork-functions.exclude @@ -0,0 +1,84 @@ +# Base functions intentionally removed/replaced by Red Bear commits. +# These exist in upstream but were replaced with RB-specific implementations +# or removed as part of RB refactoring. Documented per Phase 17 verification. + +# initfs — RB uses different initfs tooling +bootstrap/src/initfs.rs:pub unsafe redox_fcntl_v0 +initfs/src/lib.rs:pub root_inode +initfs/tools/src/lib.rs:allocate +initfs/tools/src/lib.rs:allocate_contents +initfs/tools/src/lib.rs:count +initfs/tools/src/lib.rs:new +initfs/tools/src/lib.rs:pub build_initfs +initfs/tools/src/lib.rs:write_inode_table + +# graphics drivers — RB refactored KMS/display layer +drivers/graphics/console-draw/src/lib.rs:pub from_psf +drivers/graphics/driver-graphics/src/kms/connector.rs:pub set_connector_edid +drivers/graphics/driver-graphics/src/kms/connector.rs:update_from_edid +drivers/graphics/driver-graphics/src/kms/objects.rs:into_object +drivers/graphics/driver-graphics/src/kms/objects.rs:pub add_plane +drivers/graphics/driver-graphics/src/kms/objects.rs:pub get_framebuffer_maybe_closed +drivers/graphics/driver-graphics/src/kms/objects.rs:pub get_plane +drivers/graphics/driver-graphics/src/kms/objects.rs:pub plane_ids +drivers/graphics/driver-graphics/src/kms/objects.rs:pub planes +drivers/graphics/driver-graphics/src/kms/objects.rs:pub remove_framebuffer_if_closed +drivers/graphics/driver-graphics/src/kms/objects.rs:remove +drivers/graphics/driver-graphics/src/kms/objects.rs:try_from_object +drivers/graphics/driver-graphics/src/kms/properties.rs:pub remove_blob +drivers/graphics/driver-graphics/src/lib.rs:fb_has_any_use +drivers/graphics/driver-graphics/src/lib.rs:get_unique +drivers/graphics/driver-graphics/src/lib.rs:set_plane + +# ihdgd (Intel GPU) — RB driver refactoring +drivers/graphics/ihdgd/src/device/mod.rs:add_kms_pipe +drivers/graphics/ihdgd/src/device/mod.rs:unsafe new +drivers/graphics/ihdgd/src/device/mod.rs:unsafe new_pci_bar +drivers/graphics/ihdgd/src/device/scheme.rs:get_unique +drivers/graphics/ihdgd/src/device/scheme.rs:set_plane + +# vesad — RB framebuffer refactoring +drivers/graphics/vesad/src/scheme.rs:get_unique +drivers/graphics/vesad/src/scheme.rs:set_plane + +# virtio-gpu — RB async GPU refactoring +drivers/graphics/virtio-gpud/src/main.rs:daemon +drivers/graphics/virtio-gpud/src/scheme.rs:async create_dumb_buffer_inner +drivers/graphics/virtio-gpud/src/scheme.rs:async disable_cursor +drivers/graphics/virtio-gpud/src/scheme.rs:async move_cursor +drivers/graphics/virtio-gpud/src/scheme.rs:async resource_attach_backing +drivers/graphics/virtio-gpud/src/scheme.rs:async resource_create_2d +drivers/graphics/virtio-gpud/src/scheme.rs:async send_request_cursor +drivers/graphics/virtio-gpud/src/scheme.rs:async update_cursor +drivers/graphics/virtio-gpud/src/scheme.rs:get_unique +drivers/graphics/virtio-gpud/src/scheme.rs:set_plane + +# input daemons — RB uses different daemon pattern +drivers/inputd/src/main.rs:daemon + +# USB HID — RB input refactoring +drivers/input/usbhidd/src/main.rs:send_gamepad_axis +drivers/input/usbhidd/src/main.rs:send_gamepad_button + +# virtio-net — RB uses different daemon pattern +drivers/net/virtio-netd/src/main.rs:daemon + +# pcid — RB PCI refactoring +drivers/pcid/src/driver_interface/mod.rs:connect_default +drivers/pcid/src/scheme.rs:pub mmap_prep + +# redoxerd — RB executor refactoring +drivers/redoxerd/src/main.rs:pub getpty + +# xhcid (USB) — RB USB refactoring +drivers/usb/xhcid/src/driver_interface.rs:pub xhci_dci +drivers/usb/xhcid/src/xhci/mod.rs:new +drivers/usb/xhcid/src/xhci/mod.rs:pub get +drivers/usb/xhcid/src/xhci/mod.rs:pub index + +# netstack — RB network stack refactoring +netstack/src/main.rs:get_network_adapter + +# ramfs — RB filesystem refactoring +ramfs/src/scheme.rs:as_inode +ramfs/src/scheme.rs:relpathat