gnome notch

systems/aarch64-linux/macbook-pro-nixos/boot.nix

@@ -24,6 +24,7 @@ in
 
     kernelParams = [
       "apple_dcp.show_notch=1"
+      "appledrm.show_notch=1"
       "melt_my_mac=1" # enable fan control
     ];
 

systems/aarch64-linux/macbook-pro-nixos/default.nix

@@ -135,6 +135,7 @@
   ]);
 
   networking.networkmanager.wifi.backend = "iwd";
+  # nixpkgs.overlays = [ (import ./mutter) ];
 
   environment.sessionVariables = {
     DBX_CONTAINER_MANAGER = "podman";

systems/aarch64-linux/macbook-pro-nixos/mutter/MBP16.patch

@@ -0,0 +1,19 @@
+diff --git a/src/core/constraints.c b/src/core/constraints.c
+index 3fd05a103..5ac514af8 100644
+--- a/src/core/constraints.c
++++ b/src/core/constraints.c
+@@ -1344,6 +1344,14 @@ constrain_fullscreen (MetaWindow         *window,
+ 
+   monitor = info->entire_monitor;
+ 
++  if (abs(monitor.width / monitor.width - 1.54f) < 0.01f) {//window->monitor->is_primary) {//monitor.width == 3456 && monitor.height == 2234) { 
++    const float notch_y_ratio = 64.f / 1963.f;
++    int notch_padding_height = monitor.height * notch_y_ratio;
++
++    monitor.y += notch_padding_height;
++    monitor.height -= notch_padding_height;
++  }
++
+   get_size_limits (window, &min_size, &max_size);
+   too_big = !mtk_rectangle_could_fit_rect (&monitor, &min_size);
+   too_small = !mtk_rectangle_could_fit_rect (&max_size, &monitor);

systems/aarch64-linux/macbook-pro-nixos/mutter/default.nix

@@ -0,0 +1,7 @@
+(final: prev: {
+  mutter = prev.mutter.overrideAttrs (oldAttrs: {
+    patches = (oldAttrs.patches or []) ++ [
+      ./MBP16.patch
+    ];
+  });
+})