alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

TempleOS package for VirtualBox on NOVA.

Browse Source 
Terry Davis, the creator of TempleOS, passed away this week.
This commit is contained in:
Emery Hemingway
2018-09-01 18:42:52 +02:00
committed by Norman Feske
parent 2ef4fffac1
commit 2a45dc173f
7 changed files with 180 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
recipes/pkg/templeos/README Normal file
View File

@@ -0,0 +1,2 @@
TempleOS hosted in VirtualBox for NOVA

13
recipes/pkg/templeos/archives Executable file
View File

@@ -0,0 +1,13 @@
ehmry/raw/templeos/2017-12-12
genodelabs/src/vbox5-nova/2018-08-28
genodelabs/src/base-nova/2018-08-22
genodelabs/src/libc/2018-07-26
genodelabs/src/init/2018-08-21
genodelabs/src/nit_fb/2018-07-12
genodelabs/src/libc/2018-07-26
genodelabs/src/posix/2018-07-25
genodelabs/src/zlib/2018-07-09
genodelabs/src/nit_fb/2018-07-12
genodelabs/src/libiconv/2018-07-09
genodelabs/src/stdcxx/2018-07-09
genodelabs/src/vfs/2018-08-28

1
recipes/pkg/templeos/hash Normal file
View File

@@ -0,0 +1 @@
2018-09-01 db81ea0f0df351513ba88d789dddf73609fdc560

100
recipes/pkg/templeos/runtime Executable file
View File

@@ -0,0 +1,100 @@
<runtime ram="768M" caps="1024" binary="init">
<requires>
<nitpicker/>
</requires>
<content>
<rom label="init"/>
<rom label="ld.lib.so"/>
<rom label="libc.lib.so"/>
<rom label="libc_pipe.lib.so"/>
<rom label="libc_terminal.lib.so"/>
<rom label="libiconv.lib.so"/>
<rom label="libm.lib.so"/>
<rom label="nit_fb"/>
<rom label="pthread.lib.so"/>
<rom label="qemu-usb.lib.so"/>
<rom label="stdcxx.lib.so"/>
<rom label="TempleOS.ISO"/>
<rom label="TempleOS.vbox"/>
<rom label="timer"/>
<rom label="vfs.lib.so"/>
<rom label="virtualbox5-nova"/>
</content>
<config prio_levels="2">
<parent-provides>
<service name="Audio_out"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Nitpicker"/>
<service name="PD"/>
<service name="Report"/>
<service name="RM"/>
<service name="ROM"/>
<service name="Rtc"/>
<service name="Timer"/>
<service name="Usb"/>
<service name="Nic"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
<config/>
<route>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="nit_fb" priority="0">
<resource name="RAM" quantum="8M" />
<provides>
<service name="Framebuffer" /> <service name="Input" />
</provides>
<config initial_width="640" initial_height="480" />
<route>
<service name="Nitpicker"> <parent label=""/> </service>
<any-service> <parent/> </any-service>
</route>
</start>
<start name="vbox" priority="-1" caps="1000">
<binary name="virtualbox5-nova" />
<resource name="RAM" quantum="1G"/>
<exit propagate="yes"/>
<config vbox_file="TempleOS.vbox" xhci="yes" vm_name="TempleOS" capslock="ROM">
<vfs>
<dir name="dev">
<log/>
<rtc/>
</dir>
<dir name="shared">
<null/>
</dir>
<rom name="TempleOS.ISO"/>
<rom name="TempleOS.vbox"/>
</vfs>
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
</config>
<route>
<service name="Audio_out"> <parent/> </service>
<service name="ROM" label="usb_devices"> <parent label="usb_devices"/> </service>
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
<service name="ROM" label="platform_info">
<parent label="platform_info"/> </service>
<service name="Report" label="shape"> <parent label="shape"/> </service>
<any-service> <parent/> <child name="nit_fb"/> </any-service>
</route>
</start>
</config>
</runtime>

54
recipes/raw/templeos/TempleOS.vbox Executable file
View File

@@ -0,0 +1,54 @@
<?xml version="1.0"?>
<VirtualBox xmlns="http://www.virtualbox.org/" version="1.14-freebsd">
<Machine uuid="{37ab43a5-38d8-4491-93f5-5b0b077f5c32}" name="ubuntu_16_04_64" OSType="Ubuntu_64" snapshotFolder="Snapshots" lastStateChange="2018-01-23T18:40:00Z">
<MediaRegistry>
<HardDisks>
<HardDisk uuid="{c1628a8d-7306-4534-b501-9a6ded486aed}" location="TempleOS.vdi" format="VDI" type="Normal"/>
</HardDisks>
<DVDImages>
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}" location="TempleOS.ISO"/>
</DVDImages>
</MediaRegistry>
<Hardware>
<CPU count="1">
<PAE enabled="true"/>
<LongMode enabled="true"/>
<HardwareVirtExLargePages enabled="false"/>
</CPU>
<Memory RAMSize="512"/>
<HID Pointing="USBTablet"/>
<Display VRAMSize="20"/>
<RemoteDisplay enabled="false"/>
<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>
<UART>
<Port slot="0" enabled="false" IOBase="0x3f8" IRQ="4" hostMode="Disconnected"/>
<Port slot="1" enabled="false" IOBase="0x2f8" IRQ="3" hostMode="Disconnected"/>
</UART>
<LPT>
<Port slot="0" enabled="false" IOBase="0x378" IRQ="7"/>
<Port slot="1" enabled="false" IOBase="0x378" IRQ="7"/>
</LPT>
<AudioAdapter controller="HDA" driver="OSS" enabled="false"/>
<RTC localOrUTC="UTC"/>
</Hardware>
<StorageControllers>
<StorageController name="IDE" type="PIIX4" PortCount="2" useHostIOCache="true" Bootable="true">
<AttachedDevice passthrough="false" type="DVD" hotpluggable="false" port="1" device="0" Bootable="true">
<Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}"/>
</AttachedDevice>
</StorageController>
</StorageControllers>
</Machine>
</VirtualBox>

9
recipes/raw/templeos/content.mk Normal file
View File

@@ -0,0 +1,9 @@
content: TempleOS.ISO TempleOS.vbox
ISO_URL = http://www.templeos.org/TempleOS.ISO
TempleOS.ISO:
wget $(ISO_URL) -O $@
TempleOS.vbox:
cp $(REP_DIR)/recipes/raw/templeos/$@ $@

1
recipes/raw/templeos/hash Normal file
View File

@@ -0,0 +1 @@
2017-12-12 1e6aad7cec5a8d667af4acb8f0b0a3db302266d6