Wifi not working (device not ready) on nixos 22.11 in my HP laptop

Here are the actual messages i get during boot, that rtlwifi is not available.

Also my hardware configuration is. I also added “rtlwifi”, “rtlwifi_new” to kernel modules but no luck. hwinfo outputs the following.

12: PCI 300.0: 0282 WLAN controller
  [Created at pci.386]
  Unique ID: hAO_.kOSB13gZvM0
  Parent ID: HnsE.cSCIHQdL1RD
  SysFS ID: /devices/pci0000:00/0000:00:1c.5/0000:03:00.0
  SysFS BusID: 0000:03:00.0
  Hardware Class: network
  Model: "Realtek RTL8723BE PCIe Wireless Network Adapter"
  Vendor: pci 0x10ec "Realtek Semiconductor Co., Ltd."
  Device: pci 0xb723 "RTL8723BE PCIe Wireless Network Adapter"
  SubVendor: pci 0x103c "Hewlett-Packard Company"
  SubDevice: pci 0x804c 
  Driver: "rtl8723be"
  Driver Modules: "rtl8723be"
  Device File: wlp3s0
  Features: WLAN
  I/O Ports: 0x3000-0x30ff (rw)
  Memory Range: 0xa1100000-0xa1103fff (rw,non-prefetchable)
  IRQ: 17 (no events)
  HW Address: 64:78:4b:b9:77:84
  Permanent HW Address: 30:30:56:77:G3:cb
  Link detected: no
  WLAN channels: 1 2 3 4 5 6 7 8 9 10 11 12 13
  WLAN frequencies: 2.412 2.417 2.422 2.427 2.432 2.437 2.442 2.447 2.452 2.457 2.462 2.467 2.472
  WLAN encryption modes: WEP40 WEP104 TKIP CCMP
  WLAN authentication modes: open sharedkey wpa-psk wpa-eap
  Module Alias: "pci:v000010ECd0000B723sv0000103Csd0000804Cbc02sc80i00"
  Config Status: cfg=new, avail=yes, need=no, active=unknown
  Attached to: #19 (PCI bridge)

Thank you !

{ config, lib, pkgs, modulesPath, ... }:

{
  imports = [ ];

  # kernel modules
  boot.initrd.availableKernelModules = [ "nvme" "xhci_pci" "ahci" "usbhid" "usb_storage" "sd_mod" ];
  boot.blacklistedKernelModules = [ ];
  boot.initrd.kernelModules = [ ];
  boot.kernelModules = [ "kvm-intel" ];
  boot.supportedFilesystems = [ "ntfs" ];

  # file systems
  fileSystems."/boot" = {
    device = "/dev/disk/by-label/BOOT";
    fsType = "vfat";
  };

  fileSystems."/" = {
    device = "/dev/disk/by-label/nixos";
    fsType = "ext4";
  };

  swapDevices = [ ];

  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
  powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";
  hardware.cpu.intel.updateMicrocode =
    lib.mkDefault config.hardware.enableRedistributableFirmware;
}

What wifi device do you have? Also, in the future please post text instead of a screenshot as the former is searchable.

Thank you. I will keep that in mind.

On command hwinfo. i get the following output

12: PCI 300.0: 0282 WLAN controller
  [Created at pci.386]
  Unique ID: hAO_.kOSB13gZvM0
  Parent ID: HnsE.cSCIHQdL1RD
  SysFS ID: /devices/pci0000:00/0000:00:1c.5/0000:03:00.0
  SysFS BusID: 0000:03:00.0
  Hardware Class: network
  Model: "Realtek RTL8723BE PCIe Wireless Network Adapter"
  Vendor: pci 0x10ec "Realtek Semiconductor Co., Ltd."
  Device: pci 0xb723 "RTL8723BE PCIe Wireless Network Adapter"
  SubVendor: pci 0x103c "Hewlett-Packard Company"
  SubDevice: pci 0x804c 
  Driver: "rtl8723be"
  Driver Modules: "rtl8723be"
  Device File: wlp3s0
  Features: WLAN
  I/O Ports: 0x3000-0x30ff (rw)
  Memory Range: 0xa1100000-0xa1103fff (rw,non-prefetchable)
  IRQ: 17 (no events)
  HW Address: 64:78:4b:b9:77:84
  Permanent HW Address: 30:30:56:77:G3:cb
  Link detected: no
  WLAN channels: 1 2 3 4 5 6 7 8 9 10 11 12 13
  WLAN frequencies: 2.412 2.417 2.422 2.427 2.432 2.437 2.442 2.447 2.452 2.457 2.462 2.467 2.472
  WLAN encryption modes: WEP40 WEP104 TKIP CCMP
  WLAN authentication modes: open sharedkey wpa-psk wpa-eap
  Module Alias: "pci:v000010ECd0000B723sv0000103Csd0000804Cbc02sc80i00"
  Config Status: cfg=new, avail=yes, need=no, active=unknown
  Attached to: #19 (PCI bridge)