Raspberry pi os was built for education, it’s a fork of debain and can run on computers that aren’t raspberry pis. They also have a digital bookshelf with many ebooks that can also be downloaded without the OS as they’ve been released as creative commons.