GSoC proposal: Userland PCI drivers

Hello, I'm an italian student, currently in highschool. I'd like to take
part in this year's GSoC under the NetBSD project.

A bit of background:
I've been using POSIX OSes for most of my life and recently I started
tinkerning a bit on the 3 main BSD operating systems. What caught my
attention was how simple it is to port NetBSD to other architectures:
I've been playing with RISC-V for some time with SBCs and I instantly
wanted to try booting NetBSD on my Pine64 STAR64 board. So after
succeffully booting the kernel I started tinkering and I was also amazed
at how clean the source code was and so I decided that I'd like to
contribute here.
I was then reached out by Cristoph who gave me some hints on how to get
a glance of the kernel code by tweaking the real-time clock code for x86
and now I think that I can finally submit my actual proposal.

Project proposal:
I would like to work on the "Userland PCI drivers" project, listed on
the NetBSD website, first because while working on hobby kernel projects
I managed to learn how the PCI bus works and also because when I learned
about rump I found the idea of having drivers running in userspace very
cool (I'm a big fan of microkernels as a concept).
I'll be on school vacations from June to August, so I'll have a lot of
free time and I'd like to work on a big project like this (since it's
marked as a 350h project) since it will be a big opportunity to work on
a big, enstablished project under someone's guidance for the first time.

You can take a look at my GitHub profile (https://github.com/lolzdev)
where I have some hobby projects I made in the past years.