vinzenz/redox
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
3903 commits 1 branch 0 tags 8.4 MiB
Commit graph

55 commits

Author SHA1 Message Date
Ron Williams f51dee2ea1 Make installer compile on host, list_packages compile in Podman when PODMAN_BUILD=1 2024-08-17 23:59:37 +00:00
Ribbon 49102f6332 Add explanation comments on the build system files 2024-07-09 12:58:07 +00:00
bjorn3 cf04f50d86 Use sparse files for the generated disk images on all OSes 
Rather than just on macOS. This can save quite a bit of space depending
on the amount of free space on the root filesystem of the disk image.
 2024-01-08 19:09:51 +01:00
Will Angenent 09eca87a41 Fix missing ftruncate on MacOS 2023-04-02 11:16:09 +01:00
Ron Williams be957aa4d7 enable build from mixed source/binary packages 2023-03-09 23:30:33 -08:00
Ron Williams 374e37d5b9 Improve dependencies on build tools 2023-03-06 12:41:45 -08:00
Jeremy Soller 9232e4282a
Build images in directory per arch, remove bochs 2022-11-10 12:06:24 -07:00
Ron Williams 0664d93e0f Unmount /tmp/redox_installer during make unmount 2022-10-06 04:01:07 -07:00
Ron Williams b47af54b9e delete /tmp/redox_installer at every opportunity 2022-10-03 08:46:01 -07:00
Jeremy Soller 8e6b2f7a85
Fix missing build directory when using REPO_BINARY 2022-09-12 07:52:50 -06:00
Jeremy Soller 939b650125
Build repository outside of installer 2022-09-12 07:51:13 -06:00
Jeremy Soller fedf98375c Support creation of isolated filesystem images 2022-09-07 19:36:52 -06:00
Jeremy Soller 087825fa8b
Refactor of disk image handling 2022-09-07 08:28:12 -06:00
Jeremy Soller ebf1983b6f Build ISO using HD emulation 2022-09-06 15:50:25 -06:00
Jeremy Soller 47c0b7edad
Update to use installer to produce disk images with bootloader 2022-09-05 09:24:17 -06:00
Jeremy Soller fd45421a30 Fix disk creation on i686 2022-08-28 15:40:01 -06:00
Jeremy Soller 68c91c801f Support booting both BIOS and UEFI from the same image 2022-08-28 15:24:34 -06:00
Jeremy Soller 231d10a83c
Always use live disk for aarch64 2022-08-26 11:30:14 -06:00
Jeremy Soller 5cb8411166
Get QEMU to run UEFI aarch64 2022-07-29 12:13:32 -06:00
Jeremy Soller ed5d2783a2
Move live disk support from kernel to bootloader 2022-02-10 15:52:15 -07:00
Jeremy Soller 061cee89e1
Cleanup filesystem-live build target 2022-02-10 13:32:05 -07:00
Jeremy Soller 2731354a9b
Add livedisk-efi.bin target, remove unsupported livedisk-efi.iso target 2022-02-10 12:12:38 -07:00
Jeremy Soller 42cc61803c
Fix live disk and ISO 2022-02-07 20:20:03 -07:00
Jeremy Soller 35cd0b2ab0
WIP changes for rust bootloader 2022-02-07 17:13:28 -07:00
Jeremy Soller f644c0d883
Use /sbin/parted to call parted. This might need to be improved with automatic detection of the parted location later 2021-01-21 15:49:22 -07:00
Jeremy Soller 23adc0ddc7
Remove old EFI harddrive target 2020-11-22 21:12:32 -07:00
Jeremy Soller 1b7fe5e233
Make default image use MBR partition table 2020-11-22 21:08:43 -07:00
Jeremy Soller 1bac098cc0
Format harddrive-efi.bin target 2020-01-21 19:52:22 -07:00
Jeremy Soller c91465dc1c
Make harddrive-efi.bin target run in a single shell instance 2020-01-21 19:50:15 -07:00
Jeremy Soller 6a2ac14550
Remove erroneous ONESHELL usage 2020-01-21 19:41:25 -07:00
Jeremy Soller ed5c8eb92c
Correctly determine size of MBR partition 2020-01-20 09:29:37 -07:00
4lDO2 a66af97a99 Add make recipes for MBR-partitioned BIOS disks. 2020-01-14 21:50:16 +11:00
4lDO2 455dc29bc9 Change the format of harddrive-efi.bin to GPT. 2020-01-06 18:33:22 +11:00
Jeremy Soller d05b0844aa
Add extra space for livedisk-efi.iso target 2019-10-05 10:04:42 -06:00
Jeremy Soller ad6e8428ae
Fix compilation of EFI programs 2019-09-07 20:00:50 -06:00
Jeremy Soller e1c67ce9b3
Fix issues with EFI build 2019-06-15 09:05:27 -06:00
Jeremy Soller 783f7354a4 Fix build of bootloader-efi 2019-03-17 13:56:10 -06:00
Jeremy Soller 8160d711ca
Configurable filesystem size and automatic FAT filesystem size 2019-03-16 15:18:30 -06:00
Jeremy Soller 2161c9586a
Update ci-img target to build all possible disk formats 2019-03-16 14:55:11 -06:00
Jeremy Soller ddb93aa4af
Update EFI image creation 2019-03-16 14:31:33 -06:00
Jeremy Soller 0c56ae16e8 Add support for building as a coreboot payload 2019-02-25 12:10:16 -07:00
Jeremy Soller e1fc987ffa Update bootloader-efi 2018-11-12 21:00:11 -07:00
Jeremy Soller e7375348e0 Make images in gitlab ci 2018-06-10 09:54:05 -06:00
Jeremy Soller 0a834ca34d Reduce size of EFI livedisk 2018-04-26 20:35:59 -06:00
Jeremy Soller be2cfe69a1 Update EFI bootloader and add harddrive recipe 2018-04-20 20:47:40 -06:00
Jeremy Soller 4462e8654d Add EFI ISO 2018-04-12 21:24:07 -06:00
Jeremy Soller 52fead239f Fix build 2018-03-20 20:46:20 -06:00
Jeremy Soller 7980218cd9 Update kernel 2018-03-11 11:39:01 -06:00
Andre Richter 49867f754c
Fix missing build directory 
Currently, `build/bootloader` is the first make target being executed
during `make all`. However, after a clean checkout, the `build`
directory does not yet exist. Create it accordingly.
 2017-09-28 10:51:30 +02:00
Jeremy Soller b6fccc37ba Copy bootloader to filesystem 2017-09-27 20:30:19 -06:00