Nixos ISO downloader
This commit is contained in:
parent
fb7c34ab28
commit
97d17090a2
22
runtimes/fetch-nixos/Tupfile
Normal file
22
runtimes/fetch-nixos/Tupfile
Normal file
|
@ -0,0 +1,22 @@
|
|||
include_rules
|
||||
|
||||
URL = http://hydra.nixos.org/build/89920163/download/1/nixos-minimal-19.03beta170766.5b38b4572a4-x86_64-linux.iso
|
||||
SHA256 = d8dcb02f96108720c451b0858dab42ac2ad6fc47442298b3a5338b14bfc76f30
|
||||
|
||||
: runtime.in |> ^ SED %o^ \
|
||||
sed \
|
||||
-e 's|@URL@|$(URL)|' \
|
||||
-e 's|@SHA256@|$(SHA256)|' \
|
||||
%f > %o |> %B
|
||||
|
||||
: runtime |> !runtime_to_depot |> {package}
|
||||
: archives |> !archives_to_depot |> {package}
|
||||
|
||||
: nixos.vbox |> !raw_to_depot |> {raw}
|
||||
: machine.vdi |> !raw_to_depot |> {raw}
|
||||
|
||||
ifdef DEPOT_KEY
|
||||
: {package} |> !depot_pkg_tarball |> {tarballs}
|
||||
: {raw} |> !depot_raw_tarball |> {tarballs}
|
||||
: foreach {tarballs} |> !public_signature |>
|
||||
endif
|
13
runtimes/fetch-nixos/archives
Normal file
13
runtimes/fetch-nixos/archives
Normal file
|
@ -0,0 +1,13 @@
|
|||
@SDK_USER@/src/init/@SDK_VERSION@
|
||||
@SDK_USER@/src/libc/@SDK_VERSION@
|
||||
@SDK_USER@/src/vfs/@SDK_VERSION@
|
||||
genodelabs/src/init/2019-02-27
|
||||
genodelabs/src/libpng/2019-02-25
|
||||
genodelabs/src/libssl/2019-02-25
|
||||
ehmry/src/libcrypto/2019-03-04
|
||||
genodelabs/src/menu_view/2019-02-26
|
||||
genodelabs/src/report_rom/2019-02-25
|
||||
genodelabs/src/vfs_lxip/2019-02-25
|
||||
genodelabs/src/zlib/2019-02-25
|
||||
@DEPOT_USER@/raw/fetch-nixos/@DEPOT_VERSION@
|
||||
@DEPOT_USER@/src/fetch_and_copy/@DEPOT_VERSION@
|
BIN
runtimes/fetch-nixos/machine.vdi
Normal file
BIN
runtimes/fetch-nixos/machine.vdi
Normal file
Binary file not shown.
52
runtimes/fetch-nixos/nixos.vbox
Normal file
52
runtimes/fetch-nixos/nixos.vbox
Normal file
|
@ -0,0 +1,52 @@
|
|||
<?xml version="1.0"?>
|
||||
<VirtualBox xmlns="http://www.virtualbox.org/" version="1.16-linux">
|
||||
<Machine uuid="{bfed5bfd-3cd4-4fc5-90b6-1e7024203bdd}" name="NixOS 18.09.2274.dc4823f6032 (x86_64-linux)" OSType="Linux26_64" snapshotFolder="Snapshots" lastStateChange="2019-02-28T14:13:20Z">
|
||||
<MediaRegistry>
|
||||
<HardDisks>
|
||||
<HardDisk uuid="{a90a16bf-f724-4321-99df-5498d6e4b796}" location="machine.vdi" format="VDI" type="Normal"/>
|
||||
</HardDisks>
|
||||
<DVDImages>
|
||||
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}" location="installer.iso"/>
|
||||
</DVDImages>
|
||||
</MediaRegistry>
|
||||
<Hardware>
|
||||
<CPU>
|
||||
<PAE enabled="true"/>
|
||||
<LongMode enabled="true"/>
|
||||
<X2APIC enabled="true"/>
|
||||
<HardwareVirtExLargePages enabled="false"/>
|
||||
</CPU>
|
||||
<Memory RAMSize="1536"/>
|
||||
<HID Pointing="USBTablet"/>
|
||||
<Display VRAMSize="32"/>
|
||||
<BIOS>
|
||||
<IOAPIC enabled="true"/>
|
||||
</BIOS>
|
||||
<USB>
|
||||
<Controllers>
|
||||
<Controller name="OHCI" type="OHCI"/>
|
||||
</Controllers>
|
||||
</USB>
|
||||
<Network>
|
||||
<Adapter slot="0" enabled="true" MACAddress="0800271D7901" cable="true" type="82540EM">
|
||||
<BridgedInterface/>
|
||||
</Adapter>
|
||||
</Network>
|
||||
<AudioAdapter driver="ALSA" enabled="true" enabledIn="false" enabledOut="false"/>
|
||||
<RTC localOrUTC="UTC"/>
|
||||
<SharedFolders>
|
||||
<SharedFolder name="shared" hostPath="/shared" writable="true" autoMount="true"/>
|
||||
</SharedFolders>
|
||||
</Hardware>
|
||||
<StorageControllers>
|
||||
<StorageController name="SATA" type="AHCI" PortCount="4" useHostIOCache="true" Bootable="true" IDE0MasterEmulationPort="0" IDE0SlaveEmulationPort="1" IDE1MasterEmulationPort="2" IDE1SlaveEmulationPort="3">
|
||||
<AttachedDevice type="HardDisk" port="0" device="0">
|
||||
<Image uuid="{a90a16bf-f724-4321-99df-5498d6e4b796}"/>
|
||||
</AttachedDevice>
|
||||
<AttachedDevice passthrough="false" type="DVD" port="3" device="0">
|
||||
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}"/>
|
||||
</AttachedDevice>
|
||||
</StorageController>
|
||||
</StorageControllers>
|
||||
</Machine>
|
||||
</VirtualBox>
|
109
runtimes/fetch-nixos/runtime.in
Normal file
109
runtimes/fetch-nixos/runtime.in
Normal file
|
@ -0,0 +1,109 @@
|
|||
<runtime ram="64M" caps="768" binary="init">
|
||||
|
||||
<requires>
|
||||
<file_system label="fonts"/>
|
||||
<file_system label="target"/>
|
||||
<nic/>
|
||||
<nitpicker/>
|
||||
</requires>
|
||||
|
||||
<content>
|
||||
<rom label="fetch_and_copy"/>
|
||||
<rom label="init"/>
|
||||
<rom label="libc.lib.so"/>
|
||||
<rom label="libcrypto.lib.so"/>
|
||||
<rom label="libm.lib.so"/>
|
||||
<rom label="libpng.lib.so"/>
|
||||
<rom label="libssl.lib.so"/>
|
||||
<rom label="lxip.lib.so"/>
|
||||
<rom label="machine.vdi"/>
|
||||
<rom label="menu_view"/>
|
||||
<rom label="menu_view_styles.tar"/>
|
||||
<rom label="nixos.vbox"/>
|
||||
<rom label="report_rom"/>
|
||||
<rom label="terminal_log"/>
|
||||
<rom label="vfs.lib.so"/>
|
||||
<rom label="vfs_lxip.lib.so"/>
|
||||
<rom label="zlib.lib.so"/>
|
||||
</content>
|
||||
|
||||
<config>
|
||||
<parent-provides>
|
||||
<service name="ROM"/>
|
||||
<service name="PD"/>
|
||||
<service name="RM"/>
|
||||
<service name="CPU"/>
|
||||
<service name="LOG"/>
|
||||
<service name="Timer"/>
|
||||
<service name="File_system"/>
|
||||
<service name="Nitpicker"/>
|
||||
<service name="Nic"/>
|
||||
</parent-provides>
|
||||
|
||||
<default-route>
|
||||
<any-service> <parent/> </any-service>
|
||||
</default-route>
|
||||
|
||||
<default caps="128"/>
|
||||
|
||||
<start name="report_rom">
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides>
|
||||
<service name="Report"/>
|
||||
<service name="ROM"/>
|
||||
</provides>
|
||||
<config>
|
||||
<policy label="dialog" report="dialog"/>
|
||||
</config>
|
||||
</start>
|
||||
|
||||
<start name="menu_view" caps="256">
|
||||
<resource name="RAM" quantum="8M"/>
|
||||
<config>
|
||||
<libc stderr="/dev/log"/>
|
||||
<vfs>
|
||||
<tar name="menu_view_styles.tar" />
|
||||
<dir name="dev"> <log/> </dir>
|
||||
<dir name="fonts"> <fs label="fonts"/> </dir>
|
||||
</vfs>
|
||||
</config>
|
||||
<route>
|
||||
<service name="File_system" label="fonts">
|
||||
<parent label="fonts"/> </service>
|
||||
<service name="ROM" label="dialog">
|
||||
<child name="report_rom" label="dialog"/> </service>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="fetch_and_copy" caps="256">
|
||||
<resource name="RAM" quantum="48M"/>
|
||||
<config>
|
||||
<libc stdout="/dev/log" stderr="/dev/log" socket="/socket" rtc="/dev/rtc"/>
|
||||
<vfs>
|
||||
<dir name="dev">
|
||||
<inline name="rtc">2018-01-01 00:01</inline>
|
||||
<log/> <zero name="random"/>
|
||||
</dir>
|
||||
<dir name="socket"> <lxip dhcp="yes"/> </dir>
|
||||
<dir name="target"> <fs label="target"/> </dir>
|
||||
<rom name="nixos.vbox"/>
|
||||
<rom name="machine.vdi"/>
|
||||
</vfs>
|
||||
<fetch url="@URL@"
|
||||
path="/target/installer.iso"
|
||||
sha256="@SHA256@"/>
|
||||
<copy from="/nixos.vbox" to="/target/machine.vbox"/>
|
||||
<copy from="/machine.vdi" to="/target/machine.vdi"/>
|
||||
</config>
|
||||
<route>
|
||||
<service name="File_system" label="target">
|
||||
<parent label="target"/> </service>
|
||||
<service name="Report" label="dialog">
|
||||
<child name="report_rom" label="dialog"/> </service>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
</config>
|
||||
|
||||
</runtime>
|
Loading…
Reference in New Issue
Block a user