Pascal UniKernel
lazarus / 1-Linux

----------------------------------------------------------------------
mai · 2017-10-31 15:29

where to find a working Pascal Unikernel ?

----------------------------------------------------------------------
mai · 2017-11-04 13:18

https://www.raspberrypi.org/forums/viewtopic.php?t=134956

http://forum.lazarus.freepascal.org/index.php?topic=34268.msg264869#ms
g264869

unikernel for RPi = " rasp berry Pi " in FreePascal ‎

http://lists.inf.ethz.ch/pipermail/oberon/2016/009752.html

"Ultibo is written entirely in Free Pascal and
is designed to act as a unikernel or a kernel in a run time library.
That means when you compile your application the necessary parts of
Ultibo are automatically included
by the compiler so that your program runs without needing an operating
system."

http://wiki.osdev.org/Pascal_Bare_Bones

mini PAS  kernl

----------------------------------------------------------------------
mai · 2017-11-09 18:50

then add to that :

https://media.ccc.de/v/33c3-8314-
bootstraping_a_slightly_more_secure_laptop#video&t=191


http://u-root.tk/#faqs


secure reproducible kernel coreboot payload made with Pascal (almost)
only ...

----------------------------------------------------------------------
Blestan · 2017-11-09 20:12

best pascal kernel as far i toro kernel

----------------------------------------------------------------------
mai · 2017-11-09 22:22

https://github.com/MatiasVara/torokernel

they call it a "UniKernel"

cool to use as a coreboot payload !
https://forum.lazarus-
ide.org/index.php/topic,35516.msg234943.html#msg234943