sylefeb

Important

• Rendu du projet et du materiel en présentiel le 11 Février 2026, hall de l'ecole (Telecom Nancy) entre 12h-13h30.
• En cas d'impossibilité majeure sur cette date contactez moi au plus vite.
• si le matériel n'est pas rendu, le projet sera considéré non rendu aussi.
• Email: [email protected]

Rendu

• La carte ULX3S devra être configurée pour démarrer sur le projet (éventuellement après reset), ligne de commande pour configurer de manière non volatile: openFPGALoader -f -b ulx3s BUILD_<step>/build.bit
• La SDcard contient tous les fichiers nécessaires et est sur la ULX3S -- rendue avec la carte -- prête à être testée.
• ATTENTION: rendre aussi fichiers source hardware et firmware, lien github par email bienvenu (attention ne pas mettre fichiers audio sous copyright dans le git), au besoin zip dans email.

motorailgun

Installing Windows and Linux into the same partition

But WHY?

There was a reddit post about installing Arch on NTFS3 partition. Since Windows and Linux doesn't have directories with same names under the /(C:\), I thought it's possible, and turned out it was actually possible.
If you are not familiar to Linux, for example you've searched on Google "how to dualboot Linux and Windos" or brbrbr... you mustn't try this. This is not practical.

Pre-requirements

• UEFI system
• Any Linux live-boot CD/DVD/USB... with Linux kernel newer than 5.15
• Windows installer USB

unixfox

Some hosting providers like scaleway allows to remove the IPv4 from the VPS in order to save 1€/month but doing this will result in losing connectivity to the "IPv4 world".
Or you may have ordered a VPS that only has IPv6 connectivity and you want to access to a resource only accessible from the "IPv4 world".
Here is how to gain your access back to the "IPv4 world".

Change your name servers(s) to DNS64 name servers(s)

Note: You may deploy your own DNS64 & NAT64 server on a separate server by following this tutorial (untested): https://packetpushers.net/nat64-setup-using-tayga/.
Note²: You may find a explanation of what is NAT64 and DNS64 on Wikipedia.

1. Choose a/multiple DNS64 public server(s) that has/have its own NAT64 public service from this list:

renich

#!/sbin/openrc-run
# Distributed under the terms of the GNU General Public License v2

command=/srv/ipfs/.go/bin/ipfs
name="ipfs"
description="InterPlanetary FileSystem"
pidfile=${pidfile:-/run/ipfs.pid}
user=${user:-ipfs}
group=${group:-ipfs}
app_path='/srv/ipfs'