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
This commit is contained in:
Red Bear OS
2026-07-12 16:55:59 +03:00
parent 8f50862be5
commit 5e5657e4dd
+84
View File
@@ -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