fdisk -l

Device             Start        End   Sectors   Size Type
/dev/nvme0n1p1   1048576  966660783 965612208 460.5G Linux filesystem
/dev/nvme0n1p2 966660784 1000215182  33554399    16G Linux swap
/dev/nvme0n1p3      2048    1048575   1046528   511M EFI System

Partition table entries are not in disk order.

➜  ~ mount | grep boot
/dev/nvme0n1p3 on /boot type vfat (rw,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=iso8859-1,shortname=mixed,errors=remount-ro)
➜  ~ df /boot
Filesystem     1K-blocks   Used Available Use% Mounted on
/dev/nvme0n1p3    522224 198884    323340  39% /boot