On 29.05.17 16:58, Gene Heskett wrote: > Now, a fat32 file system (/boot) has no concept of making a file > immutable that I know of, so how can I protect the kernel.img and > kernel7.img's from being replaced by non-realtime crap from raspian?
If you don't format fat32 for any reason other than giving the media away, then there is no fat problem. Even if /boot is on the SD card, that's not a great reason to use a crippled file format in a *nix environment. For USB sticks & SD cards, I'm using: Plug it in, and wait for automounting to complete, then: # mount # To see what /dev/s??? it is. # umount # So we can format it. # mkfs.ext3 /dev/s??? If there's a better treatment for fat32, then I haven't yet heard of it, except perhaps for going to ext4. (Haven't tried that yet.) ... > Now, following along in man apt_preferences, I've written a pin file and > placed it in /etc/apt/preferences.d as "kernel.list" that reads like > this: > > Package: linux-kernel > Pin: version 4.4.9-rt17-v7+ > Pin-Priority: 1001 > > Package: linux-headers > Pin: version 4.4.9-rt17-v7+ > Pin-Priority: 1001 > > Maybe dpkg will obey? Apt and apt-get should. Now that's hopefully a gremlin-proof fence. (But watch out for Murphy's pigs.) ;-) As apt-get is quite convenient for installs/updates, it's probably worth cultivating the habit of using that. ... > It would be nice if all these detours didn't get in the way. :) Yebbut, now you're a pinning guru. (I've just taken a quick look at "man apt_preferences", and it suggests that /etc/apt/preferences is 'where you could specify "pinning"'. It seems to use the same syntax as you have, though. If I can avoid having to discover what e.g. "kernel.list" filename to use, then the apparently simpler single file approach suits me, lower on that learning curve) Erik ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Emc-users mailing list Emc-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/emc-users