xv6 OS Modification with C Programming Expertise

Need a operation system expert having good knowledge of C programming.
Required Skills:
xv6 (especially memory management internals)

Operating Systems (paging, virtual memory, system calls)

C programming

Working with QEMU and Linux build environments (e.g., Ubuntu 22.04.3 LTS)

Comfortable debugging segmentation faults, memory allocators, and kernel-level issues

Past experience modifying or extending educational OS kernels (xv6, Nachos, Pintos, etc.)

Modify xv6 Kernel for 4MB Huge Page Support and User-Space Memory Allocator

Description:
I'm looking for a systems-level C developer experienced with xv6 (an educational OS based on Unix v6) to complete a university assignment. The task involves:

Modifying xv6’s memory subsystem to support 4MB huge pages.

Implementing vmalloc (user allocator for huge pages).

Updating malloc to support Transparent Huge Pages (THP).

Adding system calls to control/monitor huge page behavior.

The base xv6 code is already provided.
You must be comfortable working in xv6, Linux (Ubuntu 22.04), and debugging kernel-level segmentation faults.