We can either use the UHI syscall implementation or the RIOT default one (targeted at VFS, uart-stdio will be added once uart rx is added to pic32).