| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 24 | logstatsplain |
| -rw-r--r-- | TP1-Mini-kernel.pdf | 130414 | logstatsplain |
| d--------- | common | 35 | logstatsplain |
| d--------- | grub | 36 | logstatsplain |
| d--------- | kernel | 362 | logstatsplain |
| -rw-r--r-- | makefile | 456 | logstatsplain |
 |
index : os_skeleton | |
| Minimal kernel assignment | Jérémy Zurcher |
| summaryrefslogtreecommitdiffstats |