wok diff ptxdist/description.txt @ rev 25680

updated gnu-efi (3.0.14 -> 3.0.17)
author Hans-G?nter Theisgen
date Mon Mar 18 18:46:02 2024 +0100 (5 months ago)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ptxdist/description.txt	Mon Mar 18 18:46:02 2024 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +PTXdist is an easy-to-use Linux distribution build tool that allows you
     1.5 +to compose your embedded Linux out of a huge set of standard components
     1.6 +with a simple kernel-like configuration interface.
     1.7 +
     1.8 +Despite being rather simple in the basic configuration PTXdist also
     1.9 +allows you to perform truly complex and very fine-grained customization
    1.10 +of the packages and system configuration you need.